mathlib3

a897bd68 - feat(measure_theory/giry_monad): dirac_bind_comp