Theorem Differentiable.isBigO_pow_iff_exists_eq_polynomial_eval

Modification history

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