Theorem Matrix.conjTranspose_eq_transpose_of_trivial

Modification history