Theorem Function.FactorizedRational.meromorphicTrailingCoeffAt_factorizedRational_off_support

Modification history

2025-07-04 07:31
Mathlib/Analysis/Meromorphic/FactorizedRational.lean
feat: compute trailing coefficients of factorized rational functions (#26141) …
Added Function.FactorizedRational.meromorphicTrailingCoeffAt_factorizedRational_off_supportView on Github →