Commit 2019-09-03 21:08 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
• Add spaces to fix alignment
• document Measure
• Add documentation
• Add space before colon