Theorem meromorphicTrailingCoeffAt_prod

Modification history

2025-07-04 07:31

Mathlib/Analysis/Meromorphic/TrailingCoefficient.lean

feat: compute trailing coefficients of factorized rational functions (#26141) …

Added meromorphicTrailingCoeffAt_prod View on Github →