Theorem ProbabilityTheory.Kernel.iIndepFun.indepFun_prodMk_prodMk₀

Modification history