History

for article: Double exponential function