\cref e numeração entrelaçada de proposição, definição, lema, etc

Question

eu usei

\newtheorem{definition}{Definition}[section]
\newtheorem{proposition}[definition]{Proposition}

de modo que a numeração continua como se proposição e definição fossem “o mesmo objeto”. Mas o problema é que se eu usar \cref{...algum nome de proposição...}, então a saída não será "proposição 2.7", mas "definição 2.7".

Como posso resolver este problema?

Answer 1

Aqui está um trecho da pág. 25 do guia do usuário do cleverefpacote [destaque amarelo adicionado]:

Supondo que você use o amsthmpacote, o código a seguir permitirá atingir seus objetivos de referência cruzada:

\documentclass{article} % or some other suitable document class
\usepackage{amsthm}
\usepackage{cleveref} 
% Place all \newtheorem declarations _after_ cleveref is loaded:
\newtheorem{definition}{Definition}[section]
\newtheorem{proposition}[definition]{Proposition}

\begin{document}
\setcounter{section}{2}  % just for this example
\begin{definition}\label{def:1} Hello. \end{definition}
\begin{proposition}\label{prop:1} World. \end{proposition}

\noindent    % Create some cross-references:
As \cref{def:1,prop:1} argue, \dots
\end{document}