Theorem MeromorphicOn.log_norm_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.log_norm_meromorphicTrailingCoeffAt_extract_zeros_polesView on Github →