Def alternatingGroup

Modification history

2023-04-12 21:22

Mathlib/GroupTheory/SpecificGroups/Alternating.lean

feat: port GroupTheory.SpecificGroups.Alternating (#3371)

Added alternatingGroup View on Github →