Theorem Matrix.StdBasisMatrix.apply_same

Modification history