Theorem MeasureTheory.SimpleFunc.memℒp_of_finiteMeasure

Modification history