P
Initializing...
Proposition 4.4 — positive tangential Hessian · Prove2Me