Theorem isOfFinOrder_iff_eq_one

Modification history

2026-04-17 16:37
Mathlib/GroupTheory/OrderOfElement.lean
chore: remove some backward.proofsInPublic (#38156)
Added isOfFinOrder_iff_eq_oneView on Github →