Def Subgroup.normalizerMonoidHom

Modification history

2026-03-23 08:24
Mathlib/GroupTheory/Subgroup/Centralizer.lean
feat(Algebra/Group/Subgroup/Defs): merge `setNormalizer` into `normalizer` (#36852) …
Modified Subgroup.normalizerMonoidHomView on Github →
2024-11-28 14:24
Mathlib/GroupTheory/Subgroup/Centralizer.lean
feat(GroupTheory/Subgroup/Centralizer): The `N/C` theorem (#19006) …
Added Subgroup.normalizerMonoidHomView on Github →