Theorem Matrix.compAddEquiv_symm_apply

Modification history