Theorem ProbabilityTheory.Kernel.id_prod_eq

Modification history