Theorem Set.exists_mem_not_mem_of_ncard_lt_ncard

Modification history