Theorem Set.intersecting_iff_pairwise_not_disjoint

Modification history