Wie verweist man auf Unterteile eines Vorschlags? (und andere Fragen)

Question

Ich möchte auf einen Satz und auch auf Unterteile eines Satzes verweisen.

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

Jetzt möchte ich statt Punkt 1 und Punkt 2 prop. 1(1) und prop. (2). Statt ?? 1 möchte ich prop. 1. Wie kann ich das erreichen? Ist es außerdem möglich, Hyperlinks auf den Referenzen zu erstellen, sodass ich umgeleitet werde, wenn ich darauf klicke? Ich verwende XeLaTeX.

Answer 1

Hilft das Folgende?

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

Passen Sie den Abstand in der Definition nach Wunsch an crefproppartund ändern Sie die Formatierung \setlistnach Bedarf.