proposition: 主要结论 lemma: 引理 解释说明proposition的结论的时候可能用到的 corollary: 推论 由proposition进一步得出的结论 相关文章： 2021-06-16 2021-04-11