Theorem Equiv.Perm.IsThreeCycle.mem_alternatingGroup

Modification history

2023-04-12 21:22
Mathlib/GroupTheory/SpecificGroups/Alternating.lean
feat: port GroupTheory.SpecificGroups.Alternating (#3371)
Added Equiv.Perm.IsThreeCycle.mem_alternatingGroupView on Github →