Theorem ProbabilityTheory.Kernel.IsProper.setLIntegral_inter_eq_indicator_mul_setLIntegral

Modification history

2025-01-03 11:02
Mathlib/Probability/Kernel/Proper.lean
feat(Probability): proper kernels (#19434) …
Added ProbabilityTheory.Kernel.IsProper.setLIntegral_inter_eq_indicator_mul_setLIntegralView on Github →