Theorem CStarMatrix.one_apply_ne'

Modification history