Theorem Set.not_mem_compl_iff

Modification history