Theorem Matrix.head_neg

Modification history