Commit 2024-09-12 16:24 862c6652
View on Github →chore: namespace lemmas to CStarAlgebra
instead of CStarRing
(#16653)
This changes the namespace from CStarRing
to CStarAlgebra
for any lemmas whose hypotheses imply Module ℂ A
. We reserve CStarRing
for lemmas pertaining only to the normed ring structure, but which do not involve the ℂ
-algebra structure.