Theorem pmf.mem_support_bind_on_support_iff
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.mem_support_bind_on_support_iffView on Github →