From 8b9bb9346c217874670b0f1798ab6f1cb28fdb83 Mon Sep 17 00:00:00 2001 From: Justin Gassner Date: Tue, 20 Feb 2024 12:01:07 +0100 Subject: Update --- pages/operator-algebras/banach-algebras/index.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'pages/operator-algebras') 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 -- cgit v1.2.3-54-g00ecf