Theorem MeasureTheory.SimpleFunc.coe_sup

Modification history