Theorem Matrix.of_symm_stdBasisMatrix

Modification history