Theorem two_mul_card_alternatingGroup

Modification history

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