Theorem MeasureTheory.SimpleFunc.mem_restrict_range

Modification history