Def CStarMatrix.ofMatrixStarAlgEquiv

Modification history