我有以下使用可重述的代码。重述的定理得到了正确的编号，即原始陈述的编号。然而，重述的命题得到了错误的编号。
我尝试在“usepackage”之后使用“newtheorem”，但没有成功（无法编译）。
使用时
\newtheorem{prop}{Proposition}[section]
相反（下面注释掉的行），它可以起作用，但这不是我想要的编号。
任何帮助我都非常感谢。谢谢！
\documentclass[conference,9pts]{IEEEtran}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{example}[theorem]{Example}
\newtheorem{thm}[theorem]{Theorem}
\newtheorem{defn}[theorem]{Definition}
\newtheorem{prop}[theorem]{Proposition}
%\newtheorem{prop}{Proposition}[section]
\newtheorem{lem}[theorem]{Lemma}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{hyperref}
\usepackage{thm-restate}
\begin{document}
\section{Main}
\begin{defn}
Define something
\end{defn}
\begin{lem}
1+1=2
\end{lem}
\begin{thm}
1+2=3
\end{thm}
\begin{example}
4
\end{example}
\begin{restatable}{prop}{myProp}
1+4=5
\end{restatable}
\begin{restatable}{theorem}{myThm}
1+5=6
\end{restatable}
\section{Restate}
\myProp*
\myThm*
\end{document}
答案1
如果我使用正确的包和声明顺序，它对我有用。
\documentclass[conference,9pts]{IEEEtran}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{thm-restate}
\usepackage{hyperref}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\newtheorem{example}[thm]{Example}
\newtheorem{defn}[thm]{Definition}
\newtheorem{prop}{Proposition}[section]
\begin{document}
\section{Main}
\begin{defn}
Define something
\end{defn}
\begin{lem}
1+1=2
\end{lem}
\begin{thm}
1+2=3
\end{thm}
\begin{example}
4
\end{example}
\begin{restatable}{prop}{myProp}
1+4=5
\end{restatable}
\begin{restatable}{thm}{myThm}
1+5=6
\end{restatable}
\section{Restate}
\myProp*
\myThm*
\end{document}
我认为没有必要定义theorem和thm，但这并不真正相关。
