如何让命题和定理对 \declaretheorem 命令具有相同的计数器

Question

我正在使用thmtools和thm-restate包，以便可以重述定理和命题。我使用\declaretheorem以下命令：

\declaretheorem[name=Theorem, numberwithin=section]{theorem}
\declaretheorem[name=Proposition, numberwithin=section]{proposition}

但是，在文档中，我没有具有相同计数器的命题和定理。例如，按照当前的代码，我最终会得到如下输出：

Proposition 1.1

Proposition 1.2

Theorem 1.1

然而，我希望它是这样的：

Proposition 1.1

Proposition 1.2

Theorem 1.3.

我该怎么做呢？

Answer 1

在thmtools文档中（§ 3.2 已知密钥\declaretheorem） 我们发现

兄弟值：计数器名称。定理将使用此计数器进行编号。通常，这是另一个定理环境的名称。
类似数字（与兄弟姐妹相同。）
股数（与兄弟姐妹相同。）

因此您可以使用sibling密钥：

\documentclass{article}

\usepackage{thmtools}
\declaretheorem[name=Theorem,numberwithin=section]{theorem}
\declaretheorem[name=Proposition,sibling=theorem]{proposition}

\begin{document}

\section{Text}
\begin{proposition}
Foo.
\end{proposition}
\begin{proposition}
Bar.
\end{proposition}
\begin{theorem}
Baz.
\end{theorem}

\end{document}