Theorem card_alternatingGroup

Modification history

2025-07-23 08:49

Mathlib/GroupTheory/SpecificGroups/Alternating.lean

feat(GroupTheory/SpecificGroups/Alternating/KleinFour): the Klein Four subgroup of alternatingGroup on 4 letters (#27057) …

Added card_alternatingGroup View on Github →