Theorem MeasureTheory.SimpleFunc.const_one

Modification history