Theorem Matrix.rank_self_mul_transpose

Modification history