Theorem Subring.center_toSubsemiring

Modification history