OP-00124 Lean verified Nonnegative H-eigenvalue inheritance from odd-order Hankel tensors NA · Hankel tensors · H-eigenvalues · OpenProblemsInNLA