Theorem Matrix.IsHermitian.star_eigenvectorUnitary_mulVec

Modification history