ScalingStacks

Remark 3.21. At $x\in\partial\Delta_{\lambda}^{\vee}$, the vector $p\in\Delta$ in the hypothesis is a subgradient of the canonical extension $u^{**}$, namely $u^{**}(y)-u(x)\geq\langle p,y-x\rangle$.