Mathlib Changelog
v4
Changelog
About
Github
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 →