Def alternatingGroup.iwasawaStructure_four

Modification history

2026-04-28 15:42

Mathlib/GroupTheory/SpecificGroups/Alternating/Simple.lean

feat(GroupTheory/SpecificGroups/Alternating/Simple): simplicity of the alternating groups (#36524) …

Added alternatingGroup.iwasawaStructure_four View on Github →