Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-20 19:18 006f84ec

View on Github →

feat(algebra/group_power/basic): add add le_of_pow_le_pow (#5054) add a random missing lemma

Estimated changes

added theorem le_of_pow_le_pow