Documentation

LeanPool.HighContrastHomogenization.Support.Book.Ch05.Theorems.Section56.SmallContrastAlgebraicDecay

Coarse-graining support: Support.Book.Ch05.Theorems.Section56.SmallContrastAlgebraicDecay #

Imported from the Apache-2.0 CoarseGraining development at commit c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.

Section 5.6 algebraic decay in the small-contrast regime #

This module will expose Proposition p.small.contrast.algebraic.decay.homogenization.scale.