Theorem Subsemigroup.toAddSubsemigroup_closure

Modification history