diff --git a/SciLean/Core/FunctionSpaces.lean b/SciLean/Core/FunctionSpaces.lean
new file mode 100644
index 00000000..92f36f8f
--- /dev/null
+++ b/SciLean/Core/FunctionSpaces.lean
@@ -0,0 +1,3 @@
+import SciLean.Core.FunctionSpaces.SmoothLinearMap
+import SciLean.Core.FunctionSpaces.ContCDiffMap
+import SciLean.Core.FunctionSpaces.ContCDiffMapFD