Theorem ProbabilityTheory.Kernel.isProper_iff_inter_eq_indicator_mul

Modification history