Mathlib v3 is deprecated. Go to Mathlib v4

Def Meas

Modification history

2020-07-11 08:43

src/measure_theory/category/Meas.lean

feat(algebra/category/*): get rid of the local reducible hack (#3354) …

Modified Meas View on Github →

2019-05-31 06:43

src/measure_theory/Meas.lean

chore(category_theory): move all instances (e.g. Top, CommRing, Meas) into the root namespace (#1074) …

Added Meas View on Github →