History

for article: Mostowski collapse lemma