Mathlib v3 is deprecated. Go to Mathlib v4

Theorem integral_exp_neg_Ioi

Modification history

2023-05-03 03:14
src/analysis/special_functions/gamma.lean
feat(analysis/special_functions): file for evaluations of specific improper integrals (#18821) …
Modified integral_exp_neg_IoiView on Github →
2022-04-03 09:48
src/analysis/special_functions/gamma.lean
feat(analysis/special_functions): add the Gamma function (#12917)
Added integral_exp_neg_IoiView on Github →