Schmidt's subspace theorem

GPTKB entity