Theorem Matrix.isSymm_compl

Modification history