Theorem MeasureTheory.SimpleFunc.setToSimpleFunc_zero_apply

Modification history