Theorem CStarMatrix.mul_smul

Modification history