Theorem ProbabilityTheory.ae_eq_posterior_of_compProd_eq_swap_comp

Modification history

2025-03-11 18:10
Mathlib/Probability/Kernel/Posterior.lean
feat(Probability): posterior kernel (#19567) …
Added ProbabilityTheory.ae_eq_posterior_of_compProd_eq_swap_compView on Github →