Theorem Matrix.num_neg

Modification history