Theorem AddSubgroup.normalizer_le_normalizer_closure

Modification history

2026-05-27 15:09
Mathlib/Algebra/Group/Subgroup/Basic.lean
refactor(GroupTheory/*): additivize `AddAut` (#39884) …
Deleted AddSubgroup.normalizer_le_normalizer_closureView on Github →
2026-04-07 10:05
Mathlib/Algebra/Group/Subgroup/Basic.lean
feat(GroupTheory/Subgroup): basic API for set normalizers (#36760)
Added AddSubgroup.normalizer_le_normalizer_closureView on Github →