Theorem MeasureTheory.Measure.pi_map_piCongrLeft

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_piCongrLeftView on Github →