Theorem Matrix.rank_transpose_mul_self

Modification history