Theorem Subgroup.mem_normalizer_iff_map_conj_eq

Modification history

2026-05-27 15:09
Mathlib/Algebra/Group/Subgroup/Basic.lean
refactor(GroupTheory/*): additivize `AddAut` (#39884) …
Added Subgroup.mem_normalizer_iff_map_conj_eqView on Github →