Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.intersecting.card_le

Modification history

2022-11-06 11:48
src/combinatorics/set_family/intersecting.lean
chore(combinatorics/set_family/intersecting): extract a repeated proof into a lemma (#17371)
Modified set.intersecting.card_leView on Github →
2022-07-08 02:55
src/combinatorics/set_family/intersecting.lean
feat(combinatorics/set_family/intersecting): Intersecting families (#14475) …
Added set.intersecting.card_leView on Github →