Theorem Subring.toSubsemiring_mono

Modification history