将引理纳入定理

将引理纳入定理

我想在定理的证明中包含一些引理,并明确表明这些引理是证明的一部分,而不是独立的(例如字母较小等)。有什么方法可以做到这一点吗?

相关内容