Theorem NonUnitalSubsemiring.toSubsemigroup_injective

Modification history