theorem MeasureTheory.Measure.comap_swap {α : Type u_1} {β : Type u_2} {ma : MeasurableSpace α} {mb : MeasurableSpace β} (μ : MeasureTheory.Measure (α × β)) : MeasureTheory.Measure.comap Prod.swap μ = MeasureTheory.Measure.map Prod.swap μ

Alias of comap_swap.