Theorem MeromorphicOn.neg

Modification history

2025-12-20 21:16

Mathlib/Analysis/Meromorphic/Basic.lean

chore: use the to_fun attribute (#32231) …

Modified MeromorphicOn.neg View on Github →

2024-02-06 13:53

Mathlib/Analysis/Analytic/Meromorphic.lean

feat(Analysis/Analytic/Meromorphic): more API for meromorphic functions (#9621) …

Added MeromorphicOn.neg View on Github →