Theorem ProbabilityTheory.condExpKernel_comp_trim

Modification history

2025-02-15 20:15
Mathlib/Probability/Kernel/Condexp.lean
feat: properties of condExpKernel and condDistrib (#21906)
Added ProbabilityTheory.condExpKernel_comp_trimView on Github →