Theorem Subring.toSubsemiring_strictMono

Modification history