Theorem MeasureTheory.SimpleFunc.map_setToSimpleFunc

Modification history