Theorem IsMulTorsionFree.orderOf_le_one

Modification history

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