Def Meas.Measure

Modification history

2019-09-03 21:08
src/measure_theory/Meas.lean
feat(measure_theory): prove that the Giry monad is a monad in the category_theory sense (#1259) …
Added Meas.MeasureView on Github →