Theorem Matrix.conjTranspose_fromRows_eq_fromColumns_conjTranspose

Modification history