\cref и переплетенная нумерация предложений, определений, лемм и т. д.

Question

я использовал

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

так что нумерация продолжается так, как будто предложение и определение — это «один и тот же объект». Но проблема в том, что если я использую \cref{...какое-то имя предложения...}, то на выходе получается не «предложение 2.7», а «определение 2.7».

Как можно решить эту проблему?

Answer 1

Вот отрывок из стр. 25 руководства пользователя пакета cleveref[добавлено желтое выделение]:

Если вы используете amsthmпакет, следующий код позволит вам достичь целей перекрестных ссылок:

\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}