Theorem Matrix.den_neg

Modification history