Commit 2025-02-11 12:41 81d5b939

View on Github →

feat(MeasureTheory/Prod): add a version of lintegral_prod for setLIntegral. (#21598) Add the equivalent of MeasureTheory.integral_prod for Lebesgue integral.

Estimated changes