Theorem MeasureTheory.Measure.comap_undef

Modification history

2025-05-20 14:57
Mathlib/MeasureTheory/Measure/Comap.lean
feat: Measure.comap_smul (#25052) …
Added MeasureTheory.Measure.comap_undefView on Github →