Theorem MeasureTheory.integral_eq_setIntegral

Modification history

2026-03-18 15:17
Mathlib/MeasureTheory/Integral/Bochner/Set.lean
feat: binomial random variables (#28248) …
Added MeasureTheory.integral_eq_setIntegralView on Github →