Theorem Matrix.comp_transpose

Modification history