Theorem MeasureTheory.ContinuousOn.hasBoxIntegral

Modification history

2024-02-11 05:12
Mathlib/Analysis/BoxIntegral/Integrability.lean
feat: show that the Riemann integral is equal to the Bochner integral for continuous functions (#10144)
Added MeasureTheory.ContinuousOn.hasBoxIntegralView on Github →