ScalingStacks

\lemmname 3.1.10 . [01NU]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

\lemmname 3.1.10.

Soit f:X→Tf\colon X\rightarrow T et g:X→Tg\colon X\rightarrow T deux moments sur XX tels que ftrop=gtropf_{\text{trop}}=g_{\text{trop}}. Alors, pour tout polytope compact PP qui contient ftrop​(X)f_{\text{trop}}(X) et toute forme α\alpha sur PP, on a f∗​α=g∗​αf^{*}\alpha=g^{*}\alpha.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.