Theorem intervalIntegral.continuous_parametric_intervalIntegral_of_continuous'

Modification history

2024-07-22 14:24
Mathlib/MeasureTheory/Integral/DominatedConvergence.lean
feat: continuity of primitives for parametric integrals (#11185) …
Added intervalIntegral.continuous_parametric_intervalIntegral_of_continuous'View on Github →