P
Initializing...
Lemma 3.4, p. 15 — the balance condition passes across components · Prove2Me