的定义

引理

yǐn lǐ
像定理,但不重要。

这是一个小的结果,已经证明是真实的(使用已知的事实)。
另见: Theorem
 
版权所有 © 2017 MathsIsFun.com