Theorem MeasureTheory.SimpleFunc.sup_apply

Modification history