Theorem NonUnitalSubsemiring.toAddSubmonoid_injective

Modification history