Theorem MeasureTheory.SimpleFunc.const_apply

Modification history