Theorem CStarMatrix.smul_mul

Modification history