Theorem CStarMatrix.mul_apply'

Modification history