History

for article: Haran's diamond theorem