Talk:Weyl's theorem

Weyl's theorem on eigenvalues
At the moment "Weyl's theorem on eigenvalues" links to "Weyl's inequality". This was done at some point after the former was added (linking to a non-existent page). Is there another theorem that is intended? If not, I suggest that we delete "Weyl's theorem on eigenvalues" from the page and leave the inequality. 144.82.8.44 (talk) 12:09, 31 January 2020 (UTC)