Por que a smartef atribui esse rótulo errado?

Question

Eu tenho um arquivo 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}

A saída é

Espero que seja Let Assumption 1.1 holdem vez de Let Theorem 1.1 hold. Você poderia explicar por que esse comportamento aparece e como resolvê-lo? Muito obrigado pela sua ajuda!

Answer 1

Ambientes semelhantes a teoremas devem ser feitosdepoiscarregando 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}

Além: não use \def. E a sintaxe correta é \mathbb{R}. Também \setlistdeve ir no preâmbulo.

Veja tambémPor que o smartef muda o estilo do teorema inesperadamente?se você planeja usar amsbook.