Theorem Matrix.transposeAddEquiv_symm

Modification history