# Commit 2019-09-03 21:08 ff47fa31

View on Github →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