Theorem Set.sep_eq_empty_iff_mem_false

Modification history