Theorem Set.not_mem_of_mem_compl

Modification history