Theorem Subgroup.mem_normalizer_iff_conj_image_eq

Modification history

2026-04-07 10:05
Mathlib/Algebra/Group/Subgroup/Basic.lean
feat(GroupTheory/Subgroup): basic API for set normalizers (#36760)
Added Subgroup.mem_normalizer_iff_conj_image_eqView on Github →