basic): add add le_of_pow_le_pow (#5054)

Commit

5 years ago

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

Author

kbuzzard

Parents