Theorem ProbabilityTheory.condDistrib_ae_eq_iff_measure_eq_compProd

Modification history

2025-10-01 13:25
Mathlib/Probability/Kernel/CondDistrib.lean
feat(Probability): `condDistrib` lemmas (#29555) …
Added ProbabilityTheory.condDistrib_ae_eq_iff_measure_eq_compProdView on Github →