為什麼 smartef 會分配這個錯誤的標籤？

Question

我有一個 tex 文件

\documentclass[11pt]{amsart}
\usepackage{amssymb,enumitem,mathtools,fullpage,microtype}
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\theoremstyle{definition}
\newtheorem{assumption}[theorem]{Assumption}
\usepackage[hypertexnames=false]{hyperref}
\hypersetup{
  colorlinks=true,
  linkcolor=blue,
  filecolor=blue,
  urlcolor=red,
  citecolor=magenta
}
\usepackage{amsmath}
\usepackage[noabbrev,capitalize,nameinlink]{cleveref}
\usepackage{autonum}
\def\RR{\mathbb R}
\def\TT{\mathbb T}

\begin{document}
\setlist{font=\normalfont}
\section{Introduction}

\begin{assumption} \label{main_assmpt1}
There exist constants $C>0, \alpha \in (0, 1), \beta \in (0, 1)$ such that for $t \in \TT$ and $x, y \in \RR^d$:
\begin{enumerate}[label=(A\arabic*)]
\item $\nu$ has a density $\ell_\nu \in C^\alpha_b (\RR^d)$.
\item $a_t$ is invertible.
\end{enumerate}
\end{assumption}

\begin{theorem}
Let \cref{main_assmpt1} hold.
\begin{enumerate}
\item \cite[Theorem 2.1]{mckean1966class} ...
\end{enumerate}
\end{theorem}

\begin{thebibliography}{10}
\bibitem{mckean1966class}
Henry~P McKean~Jr.
\newblock A class of markov processes associated with nonlinear parabolic
  equations.
\newblock {\em Proceedings of the National Academy of Sciences},
  56(6):1907--1911, 1966.
\end{thebibliography}
\end{document}

輸出是

我希望它應該是Let Assumption 1.1 hold而不是Let Theorem 1.1 hold。您能解釋為什麼會出現這種行為以及如何解決嗎？非常感謝你的幫忙！

Answer 1

應該要做類似定理的環境後載入中cleveref.

\documentclass[11pt]{amsart}
\usepackage{amssymb,enumitem,mathtools,fullpage,microtype}
\usepackage[hypertexnames=false]{hyperref}
\hypersetup{
  colorlinks=true,
  linkcolor=blue,
  filecolor=blue,
  urlcolor=red,
  citecolor=magenta
}
\usepackage[noabbrev,capitalize,nameinlink]{cleveref}
\usepackage{autonum}

\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\theoremstyle{definition}
\newtheorem{assumption}[theorem]{Assumption}

\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}

\setlist{font=\normalfont}

\begin{document}

\section{Introduction}

\begin{assumption} \label{main_assmpt1}
There exist constants $C>0, \alpha \in (0, 1), \beta \in (0, 1)$ such that for $t \in \TT$ and $x, y \in \RR^d$:
\begin{enumerate}[label=(A\arabic*)]
\item $\nu$ has a density $\ell_\nu \in C^\alpha_b (\RR^d)$.
\item $a_t$ is invertible.
\end{enumerate}
\end{assumption}

\begin{theorem}
Let \cref{main_assmpt1} hold.
\begin{enumerate}
\item \cite[Theorem 2.1]{mckean1966class} ...
\end{enumerate}
\end{theorem}

\begin{thebibliography}{10}
\bibitem{mckean1966class}
Henry~P McKean~Jr.
\newblock A class of markov processes associated with nonlinear parabolic
  equations.
\newblock {\em Proceedings of the National Academy of Sciences},
  56(6):1907--1911, 1966.
\end{thebibliography}
\end{document}

旁白：不要使用\def.正確的語法是\mathbb{R}.也\setlist應該放在序言中。

也可以看看為什麼cleveref會出人意料地改變定理風格？如果您打算使用amsbook.