Theorem Subgroup.normalizer_empty

Modification history

2026-04-07 10:05

Mathlib/Algebra/Group/Subgroup/Basic.lean

feat(GroupTheory/Subgroup): basic API for set normalizers (#36760)

Added Subgroup.normalizer_empty View on Github →