Theorem MeasureTheory.SimpleFunc.edist_approxOn_mono

Modification history