Theorem Subsemiring.toSubmonoid_injective

Modification history