Theorem MeromorphicNFAt.isTheta_pow_sub

Modification history

2026-09-21 13:42
Mathlib/Analysis/Meromorphic/NormalForm.lean
feat(Analysis/Asymptotics): continuous / analytic functions are `IsTheta` at a point (#43810) …
Added MeromorphicNFAt.isTheta_pow_subView on Github →