Theorem Filter.EventuallyEq.nhdsNE_deriv

Modification history

2025-12-10 06:35
Mathlib/Analysis/Calculus/Deriv/Basic.lean
feat: derivatives of meromorphic functions are meromorphic (#32385) …
Added Filter.EventuallyEq.nhdsNE_derivView on Github →