Theorem MeasureTheory.SimpleFunc.iSup_eapprox_apply

Modification history