Theorem Subsemigroup.nonUnitalSubsemiringClosure_toAddSubmonoid

Modification history