Theorem monoid.exponent_dvd_of_forall_pow_eq_one
Modification history
2021-12-23 19:11
src/group_theory/exponent.lean
feat(group_theory/exponent): exponent G = ⨆ g : G, order_of g (#10767) …
Modified monoid.exponent_dvd_of_forall_pow_eq_oneView on Github →