Theorem ProbabilityTheory.IndepFun.integral_fun_mul_eq_mul_integral

Modification history