Theorem ProbabilityTheory.cond_iInter

Modification history

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