Def MeasCat

Modification history

2025-02-05 23:58

Mathlib/MeasureTheory/Category/MeasCat.lean

refactor(MeasureTheory): `ConcreteCategory` instance for `MeasCat` (#21468) …

Deleted MeasCat View on Github →

2023-05-30 06:20

Mathlib/MeasureTheory/Category/MeasCat.lean

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

Added MeasCat View on Github →