Theorem MeasureTheory.SimpleFunc.setToSimpleFunc_sub

Modification history