Theorem Set.mem_empty_iff_false

Modification history