Theorem MeromorphicOn.meromorphicTrailingCoeffAt_extract_zeros_poles

Modification history

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