Commit 2025-10-28 16:45 69bf692a
View on Github →feat: Lipschitz function criterion for weak convergence of probability measures (#30742) Weak convergence of probability measures is equivalent to the property that the integrals of every bounded Lipschitz function converge to the integral of the function against the limit measure.