Theorem: Asymptotics.isTheta_bot (PrimeNumberTheoremAnd/Mathlib/Analysis/Asymptotics/Theta.lean)

State before:
α : Type u_1
β : Type u_2
E : Type u_3
E' : Type u_4
F : Type u_5
inst✝² : Norm E
inst✝¹ : SeminormedAddCommGroup E'
inst✝ : Norm F
f : α → E
g : α → F
⊢ f =Θ[⊥] g
Tactic:
simp [IsTheta]
State after:
no goals