Theorem MeasureTheory.SimpleFunc.setToSimpleFunc_const'

Modification history