Ändern des oberen Rands der Proof-Umgebung

Question

Meiner Meinung nach proofhat die Umgebung einen zu großen oberen Rand. Ich hätte sie gerne optisch näher an dem Satz oder Theorem, auf das sie sich bezieht.

Ich habe überprüft, dass das Hinzufügen \vspace{-3ex}vor einer proofUmgebung das gewünschte Ergebnis bringt. Wie ändere ich nun die Beweisumgebung?

Ich habe versucht, es neu zu definieren, aber ich kenne die ursprüngliche Definition nicht und konnte sie in meiner Latex-Distribution nicht finden.

MWE:

\documentclass{article}

\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage[dvipsnames]{xcolor}

\declaretheoremstyle[
    spaceabove=\topsep,
    spacebelow=\topsep,
    name={\color{Blue}Proposition},
]{propsty}
\declaretheorem[style=propsty]{prop}

\begin{document}
\begin{prop}
    This is a proposition.
\end{prop}

\begin{proof}
    The proof is left as an exercise for the reader.
\end{proof}

\begin{prop}
    This is another proposition.
\end{prop}

\vspace{-3ex}
\begin{proof}
    The proof is left as an exercise for the reader and it's closer to the
    relevant proposition.
\end{proof}
\end{document}

Die Wahl eines negativen Wertes spacebelowschien nichts zu bewirken. Also beschloss ich, die Beweisumgebung zu ändern.

Answer 1

Du kannst zum Beispiel Folgendes haben:

\documentclass{article}

\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage[dvipsnames]{xcolor}

\declaretheoremstyle[
    spaceabove=0\topsep,
    spacebelow=0\topsep,
    name={\color{Blue}Proposition},
]{propsty}
\declaretheorem[style=propsty]{prop}

\declaretheoremstyle[
    spaceabove=0.5\topsep,
    spacebelow=0.5\topsep,
    name={\color{Blue}Proposition},
]{propsty}
\declaretheoremstyle[
    spaceabove=0.5\topsep,
    spacebelow=1\topsep,
    name=Proof,
    headfont=\itshape, numbered=no
]{proofsty}
\declaretheorem[style=proofsty]{myproof}
\raggedbottom
\begin{document}
\begin{prop}
    This is a proposition.
\end{prop}

\begin{myproof}
    The proof is left as an exercise for the reader.
\end{myproof}

\begin{prop}
    This is another proposition.
\end{prop}


\begin{myproof}
    The proof is left as an exercise for the reader and it's closer to the
    relevant proposition.
\end{myproof}
\end{document}