在编译的最后pdflatex，我收到以下错误消息：
(see the transcript file for additional information)pdfTeX warning (dest): name
{theorem.10.2} has been referenced but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{theorem.6.1} has been referenced but does not exist
, replaced by a fixed one
但是没有undefined reference错误。问题可能与hyperref包有关，但我不确定。
有人可以提供建议或解释吗？
代码片段：
\begin{theorem}[Type Safety]
\thmlabel{ssds}{safety} \\[-2ex]
\noindent\begin{enumerate}
\item{} If $ \IsOf{e}{\tau}$ and $e\StepsTo e'$, then $ \IsOf{e'}{\tau}$.
\item{} If $\IsOf{e}{\tau}$, then either $\IsVal{e}$, or there exists $e'$ such that $e\StepsTo e'$.
\end{enumerate}
\end{theorem}