Theorem MeasureTheory.SimpleFunc.measurableSet_support

Modification history