Theorem NonUnitalSubsemiring.infₛ_toAddSubmonoid

Modification history