Theorem IsConj.pow

Modification history

2025-07-11 09:29

Mathlib/Algebra/Group/Conj.lean

chore: a batch of whitespace fixes (#26964) …

Modified IsConj.pow View on Github →

2025-03-05 11:44

Mathlib/Algebra/Group/Conj.lean

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

Added IsConj.pow View on Github →