Theorem MeasureTheory.SimpleFunc.setToSimpleFunc_mono_left

Modification history