Theorem Matrix.comp_symm_single

Modification history