P
Initializing...
Theorem 3.4 — global convergence of Algorithm GIN · Prove2Me