Theorem ProbabilityTheory.Kernel.prod_zero

Modification history