Theorem ProbabilityTheory.Kernel.map_prodMkRight
Modification history
2024-10-05 09:45
Mathlib/Probability/Kernel/Composition.lean
refactor: Make the sigma-algebra in `Kernel.comap` implicit (#17299) …
Modified ProbabilityTheory.Kernel.map_prodMkRightView on Github →