Theorem Subsemigroup.mem_closure

Modification history