Theorem AddSubsemigroup.toSubsemigroup_closure

Modification history