Theorem MeromorphicAt.isTheta_pow_sub

Modification history

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