Theorem Real.integral_rpow_mul_exp_neg_mul_Ioi

Modification history

2024-01-05 13:07
Mathlib/Analysis/SpecialFunctions/Gamma/Basic.lean
feat : Add Gamma distribution (#9408) …
Added Real.integral_rpow_mul_exp_neg_mul_IoiView on Github →