Theorem NonUnitalSubsemiring.infₛ_toSubsemigroup

Modification history