Theorem ProbabilityTheory.iIndepFun.cond

Modification history

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