Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.intersecting_iff_pairwise_not_disjoint

Modification history

2022-07-08 02:55

src/combinatorics/set_family/intersecting.lean

feat(combinatorics/set_family/intersecting): Intersecting families (#14475) …

Added set.intersecting_iff_pairwise_not_disjoint View on Github →