Theorem CStarMatrix.star_apply_of_isSelfAdjoint

Modification history