Theorem MeasurableSet.image_fract

Modification history