Theorem Matrix.diag_one

Modification history