Theorem Matrix.StdBasisMatrix.trace_eq

Modification history