Theorem Matrix.StdBasisMatrix.apply_of_col_ne

Modification history