Theorem pow_eq_one_iff_right

Modification history

2026-01-09 11:59
Mathlib/Algebra/Group/Torsion.lean
refactor: unify the two versions of `pow_eq_one_iff` (#30799) …
Added pow_eq_one_iff_rightView on Github →