Theorem Meromorphic.inv

Modification history

2026-01-27 20:37

Mathlib/Analysis/Meromorphic/Basic.lean

feat(Analysis/SpecialFunctions/Complex/LogDeriv): meromorphicity of `logDeriv` (#34456) …

Modified Meromorphic.inv View on Github →

2025-12-22 18:39

Mathlib/Analysis/Meromorphic/Basic.lean

feat: use new predicate `Meromorphic` (#33152) …

Added Meromorphic.inv View on Github →