Theorem IsClosed.mem_iff_closure_subset

Modification history