Theorem alternatingGroup.isConj_of

Modification history

2023-04-12 21:22

Mathlib/GroupTheory/SpecificGroups/Alternating.lean

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

Added alternatingGroup.isConj_of View on Github →