include file for function spaces

lecopivo · Mar 12, 2024 · 0e913ce · 0e913ce
1 parent 9ecd354
commit 0e913ce
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/SciLean/Core/FunctionSpaces.lean b/SciLean/Core/FunctionSpaces.lean
@@ -0,0 +1,3 @@
+import SciLean.Core.FunctionSpaces.SmoothLinearMap
+import SciLean.Core.FunctionSpaces.ContCDiffMap
+import SciLean.Core.FunctionSpaces.ContCDiffMapFD