Theorem MeasureTheory.Measure.comapₗ_eq_comap
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.comapₗ_eq_comapView on Github →