Theorem Matrix.std_basis_eq_basis_mul_basis

Modification history