Schanuel's lemma
= Schanuel's lemma
{wiki=Schanuel's_lemma}
Schanuel's lemma is a result in model theory, particularly in the context of the theory of algebraically closed fields. It provides a criterion for determining the transcendence of elements over algebraically closed fields.