Theorem MeasureTheory.SimpleFunc.inf_apply

Modification history