Theorem MeasureTheory.SimpleFunc.approxOn_mem

Modification history