Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-02-19 11:00 3c25d94a

View on Github →

feat(algebra/archimedean): pow_unbounded_of_gt_one (#50)

Estimated changes