mathlib
10cd252f - docs(overview, undergrad): add Liouville's Theorem on existence of transcendental numbers (#8068)

Commit

4 years ago

docs(overview, undergrad): add Liouville's Theorem on existence of transcendental numbers (#8068) Co-authored-by: Jujian Zhang <jujian.zhang1998@outlook.com>

Author

adomani

Parents

26082445

mathlib 10cd252f - docs(overview, undergrad): add Liouville's Theorem on existence of transcendental numbers (#8068)

mathlib
10cd252f - docs(overview, undergrad): add Liouville's Theorem on existence of transcendental numbers (#8068)