Delta-system lemma at a regular uncountable cardinal

ID: delta-system-lemma-at-a-regular-uncountable-cardinal

If is a regular uncountable cardinal number, every family of finite sets has a subfamily of cardinality whose distinct members have one common pairwise intersection.

New to topics? Read the docs here!