Coarse-graining support: Support.Book.Ch05.Theorems.Section54.OneStepContraction #
Imported from the Apache-2.0 CoarseGraining development at commit
c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.
One-step contraction of the annealed flow #
This top-level module exposes the public theorem
oneStepContraction_homogenizationScale.