Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-11 23:33 2f566202

View on Github →

feat(data/real/irrational): define Liouville numbers (#6158) Prove that a Liouville number is irrational

Estimated changes

added def is_liouville