History

for article: Nagell–Lutz theorem