Mathlib

Suppose the reals in (0,1) had a list. Write their decimal expansions in rows.