Theorem CStarMatrix.star_apply

Modification history