Theorem MeasureTheory.Measure.OuterRegular.comap'

Modification history

2025-06-06 08:08

Mathlib/MeasureTheory/Measure/Regular.lean

feat(MeasureTheory): Pullback of measure preserve properties (#25176) …

Added MeasureTheory.Measure.OuterRegular.comap'View on Github →