Theorem NonUnitalSubring.center_toNonUnitalSubsemiring

Modification history