Def SemidirectProduct.inr_splitting

Modification history

2024-08-09 08:00

Mathlib/GroupTheory/GroupExtension/Defs.lean

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

Added SemidirectProduct.inr_splitting View on Github →