Theorem Matrix.isHermitian_transpose_mul_self

Modification history