Schur–Horn theorem

GPTKB entity