P
Initializing...
Lemma 4.12 -- submultiplicativity of $\bar d$ · Prove2Me