Def Borel

Modification history

2024-05-07 01:05

Mathlib/MeasureTheory/Category/MeasCat.lean

refactor: replace `@[reducible]` with `abbrev` (#12614) …

Deleted Borel View on Github →

2023-05-30 06:20

Mathlib/MeasureTheory/Category/MeasCat.lean

feat: port MeasureTheory.Category.Meas (#4487)

Added Borel View on Github →