Mathlib v3 is deprecated. Go to Mathlib v4

Theorem interval_integral.interval_integrable_exp

Modification history

2021-03-19 12:51

src/analysis/special_functions/integrals.lean

feat(analysis/special_functions/integrals): integrating linear combinations of functions (#6597) …

Added interval_integral.interval_integrable_exp View on Github →