Theorem AnalyticAt.isTheta_pow_sub

Modification history

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