可重述编号

Question

\documentclass[11pt, oneside]{article}
\pagestyle{plain}

\usepackage{amsfonts,amssymb,amsmath,amsthm,amstext}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\usepackage{thmtools}
\usepackage{thm-restate}

\begin{document}
  \section{Equations}
  \begin{restatable}{theorem}{xyz}
    $a = b = c.$
  \end{restatable}

  \begin{restatable}{proposition}{ab}
    Let $a = b.$ Then $b = a.$
  \end{restatable}

  \section{The same equations}

  New theorem.
  \begin{theorem}
    $a \neq d.$
  \end{theorem}
  Old theorems. 

  \xyz*
  \ab* 
\end{document}

我正在使用可重述环境来重复定理。这对{定理}来说很好，但对{命题}却不行。我希望在重述命题时使用相同的编号（就像对定理一样）。

任何帮助都将不胜感激，谢谢。

Answer 1

首先加载包，然后进行设置。

\documentclass[11pt, oneside]{article}

\usepackage{amsmath,amssymb,amsthm}
\usepackage{thmtools}
\usepackage{thm-restate}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}

\pagestyle{plain}

\begin{document}

\section{Equations}
\begin{restatable}{theorem}{xyz}
  $a = b = c.$
\end{restatable}

\begin{restatable}{proposition}{ab}
  Let $a = b.$ Then $b = a.$
\end{restatable}

\section{The same equations}

New theorem.

\begin{theorem}
  $a \neq d.$
\end{theorem}

Old theorems. 

\xyz*

\ab* 

\end{document}

顺便说一下，很快amstext就会自动加载。我保留了多余的部分，以便展示如何进行声明和设置。amsmathamsfontsamssymb\pagestyle{plain}