Theorem Asymptotics.isThetaTVS_iff_isTheta

Modification history

2026-02-03 22:04

Mathlib/Analysis/Asymptotics/TVS.lean

feat(Asymptotics/TVS): fix a name, add `isThetaTVS_iff_isTheta` (#34763)

Added Asymptotics.isThetaTVS_iff_isTheta View on Github →