Theorem Matrix.StdBasisMatrix.diag_same

Modification history