Theorem comap_swap

Modification history

2025-01-25 18:48
Mathlib/MeasureTheory/Measure/Comap.lean
chore: namespace `comap_swap` (#21061) …
Deleted comap_swapView on Github →
2024-11-18 13:41
Mathlib/MeasureTheory/Measure/Comap.lean
chore(MeasureTheory): move `Measure.comap` to a new file (#19178)
Added comap_swapView on Github →