Theorem MeasureTheory.MeasurePreserving.exists_mem_image_mem

Modification history