Theorem meromorphicTrailingCoeffAt_prod

Modification history

2026-03-26 18:37
Mathlib/Analysis/Meromorphic/TrailingCoefficient.lean
feat: add lemmas on (fin)sums and (fin)products of meromorphic functions (#36597) …
Modified meromorphicTrailingCoeffAt_prodView on Github →
2025-07-04 07:31
Mathlib/Analysis/Meromorphic/TrailingCoefficient.lean
feat: compute trailing coefficients of factorized rational functions (#26141) …
Added meromorphicTrailingCoeffAt_prodView on Github →