OP-00088 Lean verified Number of components of a real interval eigenvalue set NA · interval matrices · OpenProblemsInNLA · real eigenvalues