chore: remove dead code (#516)

The lemmas are being upstreamed in
leanprover-community/mathlib4#31318 and
leanprover-community/mathlib4#31320.

Author: Ruben-VandeVelde

Carleson.lean

@@ -47,10 +47,7 @@ import Carleson.ProofData
 import Carleson.Psi
 import Carleson.TileExistence
 import Carleson.TileStructure
-import Carleson.ToMathlib.Analysis.Convex.SpecificFunctions.Basic
 import Carleson.ToMathlib.Analysis.Convolution
-import Carleson.ToMathlib.Analysis.Normed.Group.Basic
-import Carleson.ToMathlib.Analysis.SpecialFunctions.Pow.Deriv
 import Carleson.ToMathlib.Annulus
 import Carleson.ToMathlib.BoundedCompactSupport
 import Carleson.ToMathlib.BoundedFiniteSupport

Carleson/ToMathlib/Analysis/Convex/SpecificFunctions/Basic.lean

@@ -1,4 +1,4 @@
-import Carleson.ToMathlib.Analysis.Normed.Group.Basic
+import Mathlib.Analysis.Normed.Group.Basic
 import Carleson.ToMathlib.HardyLittlewood
 import Carleson.TwoSidedCarleson.Basic