P
Initializing...
Eq. (2.5) — descent estimate along a run · Prove2Me