Coarse-graining support: Support.Book.Ch05.Theorems.Section56.SmallContrastAssembly #
Imported from the Apache-2.0 CoarseGraining development at commit
c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.
Section 5.6: packaging for the small-contrast assembly lemma #
This module re-exports the auxiliary estimates used to assemble
Lemma l.small.contrast.assembly.