Theorem Set.not_disjoint_iff_nonempty_inter

Modification history