Theorem MeasureTheory.SimpleFunc.memℒp_approxOn

Modification history