Theorem Subgroup.normalizerMonoidHom_ker

Modification history

2024-11-28 14:24

Mathlib/GroupTheory/Subgroup/Centralizer.lean

feat(GroupTheory/Subgroup/Centralizer): The `N/C` theorem (#19006) …

Added Subgroup.normalizerMonoidHom_ker View on Github →