Coarse-graining support: Support.Book.Ch05.Theorems.Section52 #
Imported from the Apache-2.0 CoarseGraining development at commit
c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.
Section 5.2: annealed scalar identities and moment bounds #
This compatibility module re-exports the split Section 5.2 theorem files. The public theorem surface is unchanged:
multiscaleEllipticityMomentBounds_homogenizationScale;scalarPreliminaries_homogenizationScale;centeredResponses_homogenizationScale.