History

for article: Schanuel's lemma