mathlib3

ff47fa31 - feat(measure_theory): prove that the Giry monad is a monad in the category_theory sense (#1259)

feat(measure_theory): prove that the Giry monad is a monad in the category_theory sense (#1259) * feat(measure_theory): prove that the Giry monad is a monad in the category_theory sense * Add spaces to fix alignment * document Measure * Add documentation * Add space before colon