Theorem Subsemigroup.toAddSubsemigroup'_closure

Modification history