Theorem ProbabilityTheory.Kernel.isProper_iff_restrict_eq_indicator_smul

Modification history