Structure MeasCat

Modification history

2025-02-05 23:58

Mathlib/MeasureTheory/Category/MeasCat.lean

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

Added MeasCat View on Github →