Theorem MeasurableEmbedding.prodMap

Modification history

2024-12-12 03:19
Mathlib/MeasureTheory/MeasurableSpace/Prod.lean
chore(MeasurableSpace/Prod): rename a lemma (#19901) …
Added MeasurableEmbedding.prodMapView on Github →