Def MeasureTheory.SimpleFunc.ofIsEmpty

Modification history