Theorem ProbabilityTheory.Kernel.swap_comp_eq_map

Modification history

2024-11-28 16:12
Mathlib/Probability/Kernel/Composition.lean
feat(Probability): identity, copy, discard and swap kernels (#19481) …
Added ProbabilityTheory.Kernel.swap_comp_eq_mapView on Github →