Theorem AnalyticOnNhd.preimage_zero_mem_codiscrete

Modification history

2025-06-10 11:05
Mathlib/Analysis/Analytic/Order.lean
feat: improve API for isolated zeros of analytic functions (#25643) …
Added AnalyticOnNhd.preimage_zero_mem_codiscreteView on Github →