Theorem meromorphicTrailingCoeffAt_const

Modification history

2025-07-04 07:31

Mathlib/Analysis/Meromorphic/TrailingCoefficient.lean

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

Added meromorphicTrailingCoeffAt_const View on Github →