Theorem Matrix.comp_symm_diagonal

Modification history