History

for article: Proofs involving the addition of natural numbers