Theorem Matrix.isUnit_transpose

Modification history