Theorem Matrix.tail_neg

Modification history