Theorem MeasureTheory.Measure.liftLinear_apply₀

Modification history

2023-11-09 12:07
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
feat(MeasureSpace): add `Measure.map_apply₀` (#8283) …
Added MeasureTheory.Measure.liftLinear_apply₀View on Github →