Theorem Subgroup.normalizer_singleton

Modification history

2026-04-07 10:05

Mathlib/GroupTheory/Subgroup/Centralizer.lean

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

Added Subgroup.normalizer_singleton View on Github →