Mordell–Weil theorem

GPTKB entity