Theorem MeromorphicOn.fun_deriv

Modification history

2026-01-18 15:55
Mathlib/Analysis/Meromorphic/Basic.lean
fix: add missing deprecations (#34087) …
Added MeromorphicOn.fun_derivView on Github →
2025-12-21 14:55
Mathlib/Analysis/Meromorphic/Basic.lean
chore(Analysis/Meromorphic/Basic): remove redundant `fun_` lemmas (#33144) …
Deleted MeromorphicOn.fun_derivView on Github →
2025-12-10 06:35
Mathlib/Analysis/Meromorphic/Basic.lean
feat: derivatives of meromorphic functions are meromorphic (#32385) …
Added MeromorphicOn.fun_derivView on Github →