Commit 2025-10-29 13:18 111e2f02

chore(Analysis/Distribution): split off functions and measures of temperate growth (#30553) The Schwartz function file reached 1500 lines of code, so it really needs splitting. The only other change is that I added namespaces and moved one lemma into the MeasureTheory.Measure namespace to allow for dot-notation.