Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes