Theorem Set.intersecting_iff_eq_empty_of_subsingleton

Modification history