Theorem Meromorphic.pow

Modification history

2026-01-27 20:37
Mathlib/Analysis/Meromorphic/Basic.lean
feat(Analysis/SpecialFunctions/Complex/LogDeriv): meromorphicity of `logDeriv` (#34456) …
Modified Meromorphic.powView on Github →
2025-12-21 06:52
Mathlib/Analysis/Meromorphic/Basic.lean
feat: introduce predicate `Meromorphic` (#33117) …
Added Meromorphic.powView on Github →