Theorem Meromorphic.finprod

Modification history

2026-03-26 18:37

Mathlib/Analysis/Meromorphic/Basic.lean

feat: add lemmas on (fin)sums and (fin)products of meromorphic functions (#36597) …

Added Meromorphic.finprod View on Github →