Theorem CStarMatrix.smul_of

Modification history