Theorem MeasureTheory.SimpleFunc.mem_image_of_mem_range_restrict

Modification history