Theorem ContinuousAt.isTheta

Modification history

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