History

for article: Fixed-point lemma for normal functions