关于编号索赔的问题

Question

我的索赔以类似“索赔 0.1”开头，我该如何更改编号？也许改为“索赔 1”之类的。

Answer 1

环境Claim是“定理”模块的一部分。它可以用多种方式编号。您很可能将其设置为“按章节编号”（或者可能是“按部分编号”）：

删除该选择，这将删除下级编号。