Hasse–Weil theorem

GPTKB entity