Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-15 17:15 0ed6f7c0

View on Github →

feat(data/real/liouville, topology/metric_space/basic): further preparations for Liouville (#6201) These lemmas are used to show that a Liouville number is transcendental. The statement that Liouville numbers are transcendental is the next PR in this sequence!

Estimated changes