Theorem MeromorphicOn.iterated_deriv

Modification history

2026-08-14 09:51
Mathlib/Analysis/Meromorphic/Basic.lean
chore: add tag `fun_prop` to `MeromorphicOn` and `AnalyticOnNhd` (#42570) …
Modified MeromorphicOn.iterated_derivView on Github →
2025-12-10 06:35
Mathlib/Analysis/Meromorphic/Basic.lean
feat: derivatives of meromorphic functions are meromorphic (#32385) …
Added MeromorphicOn.iterated_derivView on Github →