Theorem MeasureTheory.SimpleFunc.coe_const

Modification history