P

Initializing...

Theorem (P), p. 126 — the vertices of the polyhedron C are exactly the matching vectors of G · Prove2Me