Theorem Equiv.Perm.prod_list_swap_mem_alternatingGroup_iff_even_length

Modification history

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