Theorem NonUnitalSubring.centralizer_univ

Modification history

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