Theorem Matrix.star_eq_conjTranspose

Modification history