mathlib
1abfde6c - chore(group_theory/exponent): generalise (#13647)

Commit

3 years ago

chore(group_theory/exponent): generalise (#13647) Generalises a few lemmas to not require cancellativity.

Author

ericrbg

Parents