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!