P
Initializing...
Lemma 2 (PBT stretching), Eqs.(15)–(18) · Prove2Me