Theorem alternatingGroup.eq_bot_of_card_le_two

Modification history

2026-04-28 15:42
Mathlib/GroupTheory/SpecificGroups/Alternating.lean
feat(GroupTheory/SpecificGroups/Alternating/Simple): simplicity of the alternating groups (#36524) …
Modified alternatingGroup.eq_bot_of_card_le_twoView 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 alternatingGroup.eq_bot_of_card_le_twoView on Github →