我有一个关于 LyX 的问题。当我使用例如证明时，我会写一些东西，但在证明过程中我必须证明另一个引理。所以我点击引理，但它“关闭”了证明。我真的不知道该用什么词来解释它。我想在证明中使用引理，但我希望证明继续。有人能解释一下我该怎么做吗？我希望我的问题很清楚。我真的不知道这些东西的术语。谢谢。
答案1
您可以将光标放在引理环境中并按Tab。完成引理后，添加separator（也来自模块），然后完成证明。
LyX 截图
输出
LyX 截图
我有一个关于 LyX 的问题。当我使用例如证明时，我会写一些东西，但在证明过程中我必须证明另一个引理。所以我点击引理，但它“关闭”了证明。我真的不知道该用什么词来解释它。我想在证明中使用引理，但我希望证明继续。有人能解释一下我该怎么做吗？我希望我的问题很清楚。我真的不知道这些东西的术语。谢谢。
您可以将光标放在引理环境中并按Tab。完成引理后，添加separator（也来自模块），然后完成证明。