Commit 2026-05-23 12:42 a79dd59d

feat: integral of a continuous bilinear map applied to independent random variables (#38754) If X and Y are independent then ∫ ω, X ω * Y ω ∂μ = ∫ ω, X ω ∂μ * ∫ ω, Y ω ∂μ. We generalize this to the case of a general continuous bilinear map, and specialize it for scalar multiplication and multiplication.