Theorem Polynomial.tendsto_div_exp_atTop

Modification history

2023-06-07 05:16
Mathlib/Analysis/SpecialFunctions/PolynomialExp.lean
feat: port Analysis.Calculus.BumpFunctionInner (#4745)
Added Polynomial.tendsto_div_exp_atTopView on Github →