Theorem MeasureTheory.SimpleFunc.edist_approxOn_le

Modification history