P
Initializing...
Lemma 3: shifting to an initial family keeps the size and does not increase $\nu$ · Prove2Me