Def MeasureTheory.SimpleFunc.setToSimpleFunc

Modification history