Theorem Subring.toSubsemiring_injective

Modification history