将引理纳入定理 2024-5-23 • theorems 我想在定理的证明中包含一些引理，并明确表明这些引理是证明的一部分，而不是独立的（例如字母较小等）。有什么方法可以做到这一点吗？ 相关内容 Vim + Mac：如何使用 Cmd 键？ Windows 7 中的 miktex2.9 中未找到 revtex4-1.cls 如何修复 Outlook pst 文件的错误？ 从 FASTQ 中删除第二个引物序列 如何中断卡住的 ssh 连接 如何将 \underset 与 iopart 文档类和 setstack.sty 结合使用 在 Debian 中将 PHP 5.4 降级到 5.3 修改 Windows 7 Pro 中“注销”的默认行为 ARM 上的 npm 返回类型错误：错误的参数 “免费 OneDrive 客户端”将我锁定在 VM 之外的问题
