Theorem MeasureTheory.Measure.infinitePi_map_eval

Modification history

2025-10-26 07:20
Mathlib/Probability/ProductMeasure.lean
feat: independence and uncurrying (#30184) …
Added MeasureTheory.Measure.infinitePi_map_evalView on Github →