Theorem meromorphicTrailingCoeffAt_id_sub_const

Modification history

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