Theorem MeromorphicOn.iterated_deriv

Modification history

2025-12-10 06:35
Mathlib/Analysis/Meromorphic/Basic.lean
feat: derivatives of meromorphic functions are meromorphic (#32385) …
Added MeromorphicOn.iterated_derivView on Github →