为什么 Cref 将我的引理、定义等称为定理？

Question

\documentclass{article}
\usepackage{cleveref}
\usepackage{amsthm}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}

\begin{document}
    
    \begin{theorem} \label{thm:one} \dots \end{theorem}

    \begin{lemma} \label{lem:two} \dots \end{lemma}

    \begin{definition} \label{def:three} \dots \end{definition}

    \begin{example} \label{ex:four} \dots \end{example}

    Reference to \Cref{thm:one} and \Cref{lem:two} and \Cref{def:three} and \Cref{ex:four}
    
\end{document}

我自然是想\Cref{lem:two}屈服Lemma 2，而不是Theorem 2。

Answer 1

cleveref定义之后amsthm、定义之前加载newtheorem：

\usepackage{amsthm}
\usepackage{cleveref}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}