Theorem Matrix.den_one

Modification history