ScalingStacks

Definition 3.17. A continuous function $u$ on $\partial\Delta_{\lambda}^{\vee}$ satisfies the extension property if it extends to an admissible convex function on $N_{\mathbb{R}}=\mathbb{R}^{n+1}$ defined in section 3.3.