P
Initializing...
Theorem 4.1 — the active set is identified in finitely many steps at a nondegenerate point · Prove2Me