Def SemidirectProduct.toGroupExtension

Modification history

2024-08-09 08:00

Mathlib/GroupTheory/GroupExtension/Defs.lean

feat(GroupTheory/GroupExtension/Defs): define group extensions (#15049) …

Added SemidirectProduct.toGroupExtension View on Github →