Theorem NonUnitalSubring.mem_centralizer_iff

Modification history

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