Def NonUnitalSubring.centralizer

Modification history

2026-03-13 18:00
Mathlib/RingTheory/NonUnitalSubring/Basic.lean
feat: add `NonUnitalSubring.centralizer` (#36547) …
Added NonUnitalSubring.centralizerView on Github →