Theorem Subsemiring.inclusion_injective

Modification history