Theorem alternatingGroup_eq_sign_ker

Modification history

2023-04-12 21:22

Mathlib/GroupTheory/SpecificGroups/Alternating.lean

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

Added alternatingGroup_eq_sign_ker View on Github →