Theorem Matrix.StdBasisMatrix.diag_zero

Modification history