mathlib3
c2fde701 - feat(number_theory/liouville): Liouville numbers form a dense Gδ set (#9646)

Commit

4 years ago

feat(number_theory/liouville): Liouville numbers form a dense Gδ set (#9646)

Author

urkud

urkud

Parents

Loading