Theorem NonUnitalSubring.centralizer_toNonUnitalSubsemiring

Modification history

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