Theorem Subsemigroup.closure_union

Modification history