Alterando a margem superior do ambiente de prova

Question

Na minha opinião, o proofambiente tem uma margem superior muito grande. Gostaria de aproximá-lo visualmente da proposição ou teorema a que se refere.

Verifiquei que adicionar \vspace{-3ex}antes de um proofambiente me dá o resultado que desejo. Agora, como modifico o ambiente de prova?

Tentei redefini-lo, mas não conheço a definição original e não a encontrei na minha distribuição 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}

Escolher um valor negativo para spacebelownão pareceu fazer nada. Então decidi mudar o ambiente de prova.

Answer 1

Você pode ter isso, por exemplo:

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