Stat.Coupling

This module collects coupling-based statistical primitives.

Product­Loss­Monotone­Coupling 26 core · 36 supporting · 10 submodules This module collects the coupling construction and optimality theorem showing that, among all couplings of two real probability measures with finite second moments, the product expectation is largest at the comonotone qu