Theorem AnalyticAt.order_neq_top_iff

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.order_neq_top_iffView on Github →