Commit 2023-08-22 02:46 f972c587

feat: The norm on Unitization is a C⋆-norm (#5393) This shows that C⋆-algebras are always RegularNormedAlgebras, so that their Unitization is equipped with a norm. Moreover, we show this norm is a C⋆-norm.

• depends on: #5330
• depends on: #5741
• depends on: #5742
• depends on: #5743