∀ {α : Type u_1} {E'' : Type u_9} {F'' : Type u_10} [inst : NormedAddCommGroup E''] [inst_1 : NormedAddCommGroup F'']
  {f'' : α → E''} {g'' : α → F''} {l : Filter α}, f'' =Θ[l] g'' → ∀ᶠ (x : α) in l, f'' x = 0 ↔ g'' x = 0