P

Initializing...

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