Source: wikibot/schanuel-s-lemma

= Schanuel's lemma
{wiki=Schanuel's_lemma}