History

for article: Principal ideal theorem