Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.Section5.Terms.TinyScale

Source-scale estimate for the complete tiny term. The mean-zero and spatial L² premises are kept as explicit inputs.