Theorem exists_subset_iUnion_closure_subset

Modification history