Theorem Matrix.stdBasis_eq_single

Modification history