Theorem AnalyticOnNhd.preimage_zero_mem_codiscreteWithin

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_codiscreteWithinView on Github →