2025-10-02 14:28
Mathlib/Probability/Independence/Conditional.lean
feat(Probability): characterize conditional independence with conditional distributions (#30024) …
Added ProbabilityTheory.condIndepFun_iff_map_prod_eq_prod_condDistrib_prod_condDistrib