Theorem pmf.bind_on_support_apply
Modification history
2022-01-22 22:28
src/measure_theory/probability_mass_function/constructions.lean
chore(measure_theory/probability_mass_function): Move pmf monad operations into a seperate file (#11579) …
Modified pmf.bind_on_support_applyView on Github →