Horn's lemma

GPTKB entity