¿Cómo hacer referencia a subpartes de una proposición? (y otras consultas)

Question

También quiero hacer referencia a una proposición y a subpartes de una proposición.

\documentclass[12pt, a4paper]{book}

\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{prop}{Proposition}

\usepackage{unicode-math}
\setmainfont{Latin Modern Roman}
\setmathfont{Latin Modern Math}

\usepackage{cleveref}

\begin{document}
\begin{prop}\label{p1}
    Let \(f \colon A \rightarrow B\).
    { \renewcommand\labelenumi{(\theenumi)}
        \begin{enumerate}
        \item A statement about \(f\). \label{p1.1}
        \item Another statement about \(f\). \label{p1.2}
    \end{enumerate}}
\end{prop}
\begin{proof}
We will first prove \cref{p1.1}, then we will prove \cref{p1.2}. We have proved \cref{p1}.
\end{proof}
\end{document}

Ahora, en lugar del punto 1 y el punto 2, quiero la propiedad. 1(1) y prop. (2). En lugar de ?? 1, quiero utilería. 1. ¿Cómo puedo lograrlo? Además, ¿es posible crear hipervínculos en las referencias para que cuando haga clic en ellas sea redirigido? Estoy usando XeLaTeX.

Answer 1

¿Ayuda lo siguiente?

\documentclass[12pt, a4paper]{book}

\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{prop}{Proposition}

\usepackage{unicode-math}
\setmainfont{Latin Modern Roman}
\setmathfont{Latin Modern Math}

\usepackage{enumitem}
\newlist{propenum}{enumerate}{1}
\setlist[propenum,1]{%
  label= \sffamily\upshape(\arabic*), % modfiy as desired!
  ref={\arabic*}, % strips formatting!
}
\usepackage{cleveref}
\crefname{prop}{prop.}{prop.}
\crefname{propenumi}{prop.}{props.}
\crefformat{propenumi}{prop.~(#2#1#3)}

\newcommand\crefproppart[2]{\namecref{#1}~\labelcref{#1}~(\ref{#2})}

\begin{document}

\begin{prop}\label{p1}
    Let \(f \colon A \rightarrow B\). Then:
    %{ \renewcommand\labelenumi{(\theenumi)}
        \begin{propenum}
        \item A statement about \(f\). \label{p1.1}
        \item Another statement about \(f\). \label{p1.2}
    \end{propenum}
\end{prop}

\begin{proof}
We will first prove \crefproppart{p1}{p1.1}, then we will prove \crefproppart{p1}{p1.2}. We have proved \cref{p1}.
\end{proof}

\end{document}

Ajuste el espaciado como desee en la definición crefpropparty cambie el formato según \setlistsea necesario.