Theorem Subgroup.centralizer_eq_iInf

Modification history

2025-11-20 14:55
Mathlib/GroupTheory/Subgroup/Centralizer.lean
chore(GroupTheory/Subgroup/Centralizer): replace `centralizer (zpowers s)` with `centralizer {s}` (#30768) …
Added Subgroup.centralizer_eq_iInfView on Github →