P

Initializing...

Lemma 4.1, p.11 — the artificial sketch of a vertex (corrected: $\mathrm{sgn}(u-v)$) · Prove2Me