Theorem ProbabilityTheory.Kernel.prodComm_prod

Modification history

2025-10-02 14:28
Mathlib/Probability/Kernel/Composition/Prod.lean
feat(Probability): characterize conditional independence with conditional distributions (#30024) …
Added ProbabilityTheory.Kernel.prodComm_prodView on Github →