Theorem NonUnitalSubsemiring.coe_center

Modification history