UpdateHEADmaster

1 files changed, 3 insertions, 3 deletions

diff --git a/pages/functional-analysis-basics/hilbert-spaces.md b/pages/functional-analysis-basics/hilbert-spaces.md
index a77e5c7..4cc46ec 100644
--- a/pages/functional-analysis-basics/hilbert-spaces.md
+++ b/pages/functional-analysis-basics/hilbert-spaces.md
@@ -2,10 +2,10 @@
 title: Hilbert Spaces
 parent: Functional Analysis Basics
 nav_order: 7
-published: false
 ---
 
 # {{ page.title }}
 
-{% proof %}
-{% endproof %}
+{% definition Hilbert Space %}
+A *Hilbert space* is a complete inner product space.
+{% enddefinition %}