Mathlib Changelog
v4
Changelog
About
Github
Theorem
AnalyticOnNhd.preimage_mem_codiscreteWithin
Modification history
2025-02-26 18:08
Mathlib/Analysis/Analytic/IsolatedZeros.lean
feat: preimages of codiscrete sets under analytic function in one variable (#21594) …
Added
AnalyticOnNhd.preimage_mem_codiscreteWithin
View on Github →