Theorem MeasureTheory.Measure.measure_preimage_inv

Modification history