From 73445885d54edffcc9ae74525887b529a3f96165 Mon Sep 17 00:00:00 2001
From: Justin Gassner <justin.gassner@mailbox.org>
Date: Sat, 23 Mar 2024 18:08:44 +0100
Subject: Update

---
 pages/functional-analysis-basics/hilbert-spaces.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'pages/functional-analysis-basics/hilbert-spaces.md')

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 %}
-- 
cgit v1.2.3-54-g00ecf