Schanuel引理及相关性质的推广
Schanuel인리급상관성질적추엄
On generalizations of Schanuel's lemma and relative propositions