Theorem Subsemiring.toAddSubmonoid_injective

Modification history