Theorem CStarMatrix.ofMatrix_eq_ofMatrixStarAlgEquiv

Modification history