Theorem ProbabilityTheory.Kernel.iIndepFun.cond_iInter

Modification history

2024-11-23 11:01
Mathlib/Probability/Independence/Kernel.lean
feat: independence of functions under conditioning (#17915) …
Added ProbabilityTheory.Kernel.iIndepFun.cond_iInterView on Github →