Theorem IsConj.isOfFinOrder

Modification history

2025-03-05 11:44

Mathlib/GroupTheory/OrderOfElement.lean

feat(GroupTheory/OrderOfElement): add `IsConj.isOfFinOrder` (#22507) …

Added IsConj.isOfFinOrder View on Github →