Theorem alternatingGroup.index_eq_one

Modification history

2025-02-01 17:04
Mathlib/GroupTheory/SpecificGroups/Alternating.lean
chore(GroupTheory/SpecificGroups/Alternating.lean): follow last minute review of JX (#21314) …
Added alternatingGroup.index_eq_oneView on Github →