From 0e913ce01b09f6180a45f9094b12f38c2281bce3 Mon Sep 17 00:00:00 2001
From: lecopivo <skrivantomas@seznam.cz>
Date: Tue, 12 Mar 2024 15:38:38 -0400
Subject: [PATCH] include file for function spaces

---
 SciLean/Core/FunctionSpaces.lean | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 SciLean/Core/FunctionSpaces.lean

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