Theorem Polynomial.isBigO_cobounded_pow_natDegree

Modification history

2026-10-13 16:28
Mathlib/Analysis/Polynomial/Basic.lean
feat: Liouville theorem for entire functions with polynomial growth (#43888) …
Added Polynomial.isBigO_cobounded_pow_natDegreeView on Github →