Theorem MeasureTheory.Measure.pi_map_piOptionEquivProd

Modification history

2024-06-13 00:50
Mathlib/MeasureTheory/Constructions/Pi.lean
feat: Add lemmas about finite products of measures (#13311) …
Added MeasureTheory.Measure.pi_map_piOptionEquivProdView on Github →