Theorem Equiv.Perm.closure_three_cycles_eq_alternating

Modification history

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