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.
New to topics? Read the docs here!