Commit 2025-01-29 23:58 2ae8c98d

feat(CStarAlgebra): matrices with entries in a C⋆-algebra (#15277) This PR creates the type CstarMatrix m n A as a copy of Matrix m n A meant for the case where A is a C⋆-algebra. Most notably, we show that square matrices with entries in a C⋆-algebra form a C⋆-algebra.

• depends on: #15244
• depends on: #15274