Theorem CStarMatrix.one_apply_ne

Modification history