P
Initializing...
Theorem 3.1 — subgradient descent function-value bound (corrected: standing assumptions) · Prove2Me