Commit 2024-11-28 14:24 19f864c3

View on Github →

feat(MeasureTheory): integrability lemmas (#19439) Mostly about the relation between Integrable and the Lebesgue integral for real/ennreal functions. From the TestingLowerBounds project.

Estimated changes