Theorem AnalyticAt.apply_eq_zero_of_order_toNat_ne_zero

Modification history

2025-01-20 11:48
Mathlib/Analysis/Analytic/IsolatedZeros.lean
feat: add lemmas for working with orders of analytic functions (#20813) …
Added AnalyticAt.apply_eq_zero_of_order_toNat_ne_zeroView on Github →