Theorem MeasurableSet.empty

Modification history

2023-02-06 20:02

Mathlib/MeasureTheory/MeasurableSpaceDef.lean

feat: port MeasureTheory.MeasurableSpaceDef (#2108)

Added MeasurableSet.empty View on Github →