Commit 2024-02-22 11:57 dc07ce18

View on Github →

feat: add variants of tendsto_integral_of_L1 (#10790) Add variants for set integrals and with the convergence hypothesis expressed with snorm.

Estimated changes