diff --git a/SciLean/Core.lean b/SciLean/Core.lean
index 803bb155..603dc759 100644
--- a/SciLean/Core.lean
+++ b/SciLean/Core.lean
@@ -19,6 +19,7 @@ import SciLean.Core.Functions.Exp
 import SciLean.Core.Functions.Trigonometric
 import SciLean.Core.Functions.Pow
 
+import SciLean.Core.Integral.Common
 
 import SciLean.Tactic.InferVar
 import SciLean.Tactic.RefinedSimp
diff --git a/SciLean/Core/Integral/PlaneDecomposition.lean b/SciLean/Core/Integral/PlaneDecomposition.lean
index 564e47aa..34ac8c44 100644
--- a/SciLean/Core/Integral/PlaneDecomposition.lean
+++ b/SciLean/Core/Integral/PlaneDecomposition.lean
@@ -1,5 +1,8 @@
-import SciLean.Core
+import SciLean.Data.DataArray
+import SciLean.Core.FunctionTransformations
+import SciLean.Core.FunctionPropositions
 import SciLean.Core.Integral.ParametricInverse
+import SciLean.Core.Notation
 import SciLean.Tactic.InferVar
 
 namespace SciLean