Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pmf.monad_map_eq_map

Modification history

2022-07-13 12:42
src/measure_theory/probability_mass_function/constructions.lean
feat(measure_theory/pmf): lawful monad instance for probability mass function monad (#15066) …
Added pmf.monad_map_eq_mapView on Github →