Commit 2025-12-10 20:35 81721b4c

View on Github →

feat(Analysis/Distribution): composition of temperate growth functions (#32297) Proves that the composition of temperate growth functions is again of temperate growth. We have to use the explicit bounds, because we want to have the case that the outer function g is only temperate on the image of the inner function f, to be able to apply this result for f x = 1 + |x|^2 and g x = x ^ r for any real r.

Estimated changes