Theorem Matrix.rank_conjTranspose_mul_self

Modification history