Theorem 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) …
Deleted index_eq_oneView on Github →
2025-01-31 14:09
Mathlib/GroupTheory/SpecificGroups/Alternating.lean
feat(GroupTheory/SpecificGroups/AlternatingGroup): subgroups of index 2 of Equiv.Perm (#21190) …
Added index_eq_oneView on Github →