Lemma 2 (corrected: monotone $u$; disjoint sets of size at most $k$ extend to dominated sets)

Initializing...

Lemma 2 (corrected: monotone $u$; disjoint sets of size at most $k$ extend to dominated sets) · Prove2Me