Theorem Matrix.stdBasisMatrix_eq_of_single_single

Modification history