Schanuel's lemma (source code)

= 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.