Theorem orderOf_pow_orderOf_div

Modification history

2024-03-11 17:11
Mathlib/GroupTheory/OrderOfElement.lean
Add Commute.orderOf_mul_pow_eq_lcm (#11235) …
Added orderOf_pow_orderOf_divView on Github →