Re: [math-fun] Positive eigenvalues imply positive definite?