Theorem CStarMatrix.of_sub_of

Modification history