Def Set.mem_empty

Modification history