PR !4#15277: feat(CStarAlgebra): matrices with entries in...

Stream: triage

[Random Issue Bot]

Today I chose PR 15277 for discussion!

feat(CStarAlgebra): matrices with entries in a C⋆-algebra
Created by @Frédéric Dupuis (@dupuisf) on 2024-07-29
Labels: t-analysis, large-import

Is this PR still relevant? Any recent updates? Anyone making progress?

[Jireh Loreaux]

Yes, I have a review pending! :smiley: