Theorem intervalIntegral.continuousAt_parametric_primitive_of_dominated

Modification history

2024-07-22 14:24
Mathlib/MeasureTheory/Integral/DominatedConvergence.lean
feat: continuity of primitives for parametric integrals (#11185) …
Modified intervalIntegral.continuousAt_parametric_primitive_of_dominatedView on Github →
2024-03-04 19:37
Mathlib/MeasureTheory/Integral/DominatedConvergence.lean
refactor: move material about the Dominated Convergence Theorem into one file (#11139) …
Modified intervalIntegral.continuousAt_parametric_primitive_of_dominatedView on Github →
2024-03-04 13:19
Mathlib/MeasureTheory/Integral/IntervalIntegral.lean
feat: primitive of a parametrised integral is continuous (#11110) …
Added intervalIntegral.continuousAt_parametric_primitive_of_dominatedView on Github →