Theorem Set.eq_empty_iff_forall_not_mem

Modification history