fix extraneous import

Author: robertmaxton42

Mathlib/Topology/ContinuousMap/Basic.lean

@@ -6,7 +6,7 @@ Authors: Nicolò Cavalleri
 module
 
 public import Mathlib.Data.Set.UnionLift
-public import import Mathlib.Data.Set.Subset
+public import Mathlib.Data.Set.Subset
 public import Mathlib.Topology.ContinuousMap.Defs
 public import Mathlib.Topology.Homeomorph.Defs
 public import Mathlib.Topology.Separation.Hausdorff