P
Initializing...
Extremal-parity lemma for node-consistent words · Prove2Me