Theorem Matrix.rank_self_mul_conjTranspose

Modification history