Theorem AnalyticAt.order_neq_top_iff

Modification history

2025-02-04 07:19
Mathlib/Analysis/Analytic/IsolatedZeros.lean
chore: rename AnalyticAt.order_neq_top_iff (#21388) …
Deleted AnalyticAt.order_neq_top_iffView on Github →
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 →