Theorem MeasureTheory.SimpleFunc.setToSimpleFunc_add

Modification history