Theorem orderOf_pow_of_dvd

Modification history

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