Theorem NonUnitalSubsemiring.toAddSubmonoid_mono

Modification history