您要查找的是不是：
- Wick引理Wick lemma
- 我们用一个关于有向重图中尤拉迹的引理来证明这个定理。We shall deduce the result from a lemma about Euler trails in directed multigraphs.
- 逼近引理approximation lemma
- 引理，辅助定理被认为是合理且被用于证明主要命题的次要命题A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.
- 正规化引理normalization lemma
- 泵引理bump lemma
- KKM引理KKM lemma
- 五引理five lemma
- Ito引理Ito's formula
- N-P引理Neyman-Pearson fundamental lemma
- YanZu引理YAN Zu lemma
- 比较引理comparison lemma
- 连续引理continuation theorem
- 计数引理counting lemma
- 山路引理Mountain Pass Lemma
- 分又引理forking Lemma
- Minty引理Minty lemma
- Zorn引理Zorn lemma
- Fatou引理Fatou 's lemma
- 费歇引理Fisher's lemma
