Theorem Matrix.cons_transpose

Modification history