Theorem Matrix.StdBasisMatrix.trace_zero

Modification history