Theorem mem_closure_of_mem_closure_union

Modification history