Theorem Subring.centralizer_toSubsemiring

Modification history