Weyl's theorem on eigenvalues

GPTKB entity