Structure AddGroupExtension.Equiv

Modification history

2025-02-07 17:49
Mathlib/GroupTheory/GroupExtension/Defs.lean
chore(GroupExtension/Basic): add lemmas about extensions by (non-abelian) groups (#20998) …
Modified AddGroupExtension.EquivView on Github →
2025-01-17 06:22
Mathlib/GroupTheory/GroupExtension/Defs.lean
chore(GroupExtension/Defs): define `Section` and redefine `Splitting` (#20802) …
Modified AddGroupExtension.EquivView on Github →
2024-08-09 08:00
Mathlib/GroupTheory/GroupExtension/Defs.lean
feat(GroupTheory/GroupExtension/Defs): define group extensions (#15049) …
Added AddGroupExtension.EquivView on Github →