History

for article: Gelfand–Naimark–Segal construction