Theorem MeasureTheory.Measure.measure_image_eq_zero_of_comap_eq_zero
Modification history
2024-11-18 13:41
Mathlib/MeasureTheory/Measure/Comap.lean
chore(MeasureTheory): move `Measure.comap` to a new file (#19178)
Modified MeasureTheory.Measure.measure_image_eq_zero_of_comap_eq_zeroView on Github →