Siegel's lemma

GPTKB entity