Theorem MeasurableSpace.ext

Modification history

2023-02-06 20:02

Mathlib/MeasureTheory/MeasurableSpaceDef.lean

feat: port MeasureTheory.MeasurableSpaceDef (#2108)

Added MeasurableSpace.ext View on Github →