Theorem Subgroup.centralizer_le_normalizer

Modification history

2026-04-07 10:05

Mathlib/GroupTheory/Subgroup/Centralizer.lean

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

Added Subgroup.centralizer_le_normalizer View on Github →