P
Initializing...
Proposition 3.9 (proof, p.13) — $h$ is decreasing on $(0,\eta)$ (corrected: $h>0$ only at reached levels) · Prove2Me