History

for article: Tarski–Seidenberg theorem