Theorem ProbabilityTheory.Kernel.aemeasurable

Modification history

2025-04-08 13:38
Mathlib/Probability/Kernel/Defs.lean
feat(GiryMonad): use `AEMeasurable` (#23754) …
Added ProbabilityTheory.Kernel.aemeasurableView on Github →