Theorem Set.not_subset_iff_exists_mem_not_mem

Modification history