intersecting): extract a repeated proof into a lemma (#17371)

Commit

3 years ago

chore(combinatorics/set_family/intersecting): extract a repeated proof into a lemma (#17371)

Author

eric-wieser

Parents