summaryrefslogtreecommitdiffstats
path: root/pages/operator-algebras/banach-algebras/index.md
diff options
context:
space:
mode:
Diffstat (limited to 'pages/operator-algebras/banach-algebras/index.md')
-rw-r--r--pages/operator-algebras/banach-algebras/index.md7
1 files changed, 4 insertions, 3 deletions
diff --git a/pages/operator-algebras/banach-algebras/index.md b/pages/operator-algebras/banach-algebras/index.md
index 9d70df8..3a427a7 100644
--- a/pages/operator-algebras/banach-algebras/index.md
+++ b/pages/operator-algebras/banach-algebras/index.md
@@ -157,9 +157,10 @@ is (strongly) analytic.
---
-{: .proposition #spectrum-is-not-empty }
-> Suppose $x$ is an element of a unital Banach algebra.
-> Then its spectrum $\sigma(x)$ is not empty.
+{% proposition %}
+Suppose $x$ is an element of a unital Banach algebra.
+Then its spectrum $\sigma(x)$ is not empty.
+{% endproposition %}
{% proof %}
We assume that $\sigma(x)$ is empty