Theorem Function.FactorizedRational.log_norm_meromorphicTrailingCoeffAt

Modification history

2026-03-03 17:54
Mathlib/Analysis/Meromorphic/FactorizedRational.lean
feat(Algebra/Group/FiniteSupport): add HasFinite(Mul)Support and API (#34658) …
Modified Function.FactorizedRational.log_norm_meromorphicTrailingCoeffAtView on Github →
2025-07-04 07:31
Mathlib/Analysis/Meromorphic/FactorizedRational.lean
feat: compute trailing coefficients of factorized rational functions (#26141) …
Added Function.FactorizedRational.log_norm_meromorphicTrailingCoeffAtView on Github →