History

for article: Ehrenfeucht–Mycielski sequence