Intersecting shadow lemma

ID: intersecting-shadow-lemma

For an intersecting family of -sets with , its lower shadow has at least as many members as the family. Apply elementary set shifts and then the ballot reflection injection to obtain this bound.

New to topics? Read the docs here!