Theorem Matrix.IsHermitian.det_eq_prod_eigenvalues

Modification history