P
Initializing...
Proposition 3.3 — an explicit SPO+ subgradient · Prove2Me