mathlib
34b99336 - feat(number_theory/liouville): the set of Liouville numbers has measure zero (#9702)

Commit

4 years ago

feat(number_theory/liouville): the set of Liouville numbers has measure zero (#9702) As a corollary, the filters `residual ℝ` and `volume.ae` are disjoint.

Author

urkud

Parents

c363ad63

mathlib 34b99336 - feat(number_theory/liouville): the set of Liouville numbers has measure zero (#9702)

mathlib
34b99336 - feat(number_theory/liouville): the set of Liouville numbers has measure zero (#9702)