Theorem SemidirectProduct.toGroupExtension_rightHom

Modification history

2024-08-09 08:00
Mathlib/GroupTheory/GroupExtension/Defs.lean
feat(GroupTheory/GroupExtension/Defs): define group extensions (#15049) …
Added SemidirectProduct.toGroupExtension_rightHomView on Github →