校正環境の上余白を変更する

Question

私の意見では、proof環境の上部余白が大きすぎます。参照する命題や定理に視覚的に近づけたいと思います。

\vspace{-3ex}環境の前に追加するとproof、必要な結果が得られることを確認しました。では、証明環境をどのように変更すればよいでしょうか?

再定義しようとしましたが、元の定義がわからず、LaTeX ディストリビューションでも見つかりませんでした。

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}

に負の値を選択してもspacebelow何も起こらないようでした。そこで、証明環境を変更することにしました。

Answer 1

たとえば、次のようなものになります。

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