Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pow_unbounded_of_gt_one

Modification history

2019-09-14 05:00
src/algebra/archimedean.lean
chore(data/*): flipping inequalities (#1436) …
Deleted pow_unbounded_of_gt_oneView on Github →
2018-04-16 19:01
algebra/archimedean.lean
chore(*): trailing spaces
Modified pow_unbounded_of_gt_oneView on Github →
2018-02-19 11:00
algebra/archimedean.lean
feat(algebra/archimedean): pow_unbounded_of_gt_one (#50)
Added pow_unbounded_of_gt_oneView on Github →