Theorem MeasureTheory.SimpleFunc.iSup_approx_apply

Modification history