Theorem AddSubsemigroup.toSubsemigroup'_closure

Modification history