Theorem Matrix.comp_symm_transpose

Modification history