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