P

Initializing...

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