Theorem Equiv.Perm.IsThreeCycle.mem_commutator_alternatingGroup

Modification history

2025-05-08 22:10
Mathlib/GroupTheory/SpecificGroups/Alternating/Centralizer.lean
feat: more lemmas about alternatingGroup (#22576)
Added Equiv.Perm.IsThreeCycle.mem_commutator_alternatingGroupView on Github →