为什么 cleveref 会分配这个错误的标签？

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。