Como referenciar subpartes de uma proposição? (e outras dúvidas)

Question

Quero fazer referência a uma proposição e a subpartes de uma proposição também.

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

Agora, em vez do item 1 e do item 2, quero prop. 1(1) e prop. (2). Em vez de ?? 1, eu quero suporte. 1. Como posso conseguir isso? Além disso, é possível criar hiperlinks nas referências para que, ao clicar nelas, seja redirecionado? Estou usando o XeLaTeX.

Answer 1

O seguinte ajuda?

\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 o espaçamento conforme desejado na definição crefpropparte altere a formatação \setlistconforme necessário.