Mathlib

From each point x, a kernel spreads mass to a distribution on the next space.