∀ (G : Type u_1) [inst : AddGroup G] [inst_1 : TopologicalSpace G],
  Filter.Tendsto (fun p => -(-p.1 + p.2)) (Filter.comap (fun p => -p.1 + p.2) (nhds 0)) (nhds (-0)) →
    Filter.Tendsto Prod.swap (Filter.comap (fun p => -p.1 + p.2) (nhds 0)) (Filter.comap (fun p => -p.1 + p.2) (nhds 0))