ScalingStacks

Proposition 3.72 . [02MN]

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

Proposition 3.72.

Let ff be a piecewise affine concave function on NℝN_{\mathbb{R}}. Then

Π⁡(rec⁡(f))=rec⁡(Π⁡(f)).\Pi(\operatorname{rec}(f))=\operatorname{rec}(\Pi(f)).

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