P

Initializing...

Lemma 4.11 -- comparing $d(t)$ and $\bar d(t)$ · Prove2Me