Theorem NonUnitalSubsemiring.toSubsemigroup_mono

Modification history