Theorem Subgroup.normalizer_eq_top_iff

Modification history

2024-12-20 09:05
Mathlib/Algebra/Group/Subgroup/Basic.lean
refactor(Algebra/Group/Subgroup/Basic): Rename `normalizer_eq_top` to `normalizer_eq_top_iff` (#20109) …
Added Subgroup.normalizer_eq_top_iffView on Github →