Theorem Matrix.den_zero

Modification history