Theorem ProbabilityTheory.Kernel.iIndepFun.cond_iInter

Modification history

2025-12-05 16:31
Mathlib/Probability/Independence/Kernel/Indep.lean
chore(Probability): split `Independence.Kernel` (#32327) …
Modified ProbabilityTheory.Kernel.iIndepFun.cond_iInterView on Github →
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 →