Def MeasureTheory.SimpleFunc.restrict

Modification history