在 AMSART 中自定义校样环境（从斜体到粗体）

Question

在amsart，我用过

\usepackage{amsthm}
\let\oldproofname=\proofname
\renewcommand{\proofname}{\rm\bf{\oldproofname}}

改变证明标题从斜体变为粗体。但是，当我写，例如，

\begin{proof}[Proof of X's Lemma]

我得到了输出X 引理的证明用斜体而不是粗体。我该如何解决这个问题（并可能改进上面的技巧）？

Answer 1

一个选项是修补\proof以\itshape替代\bfseries：

\documentclass{amsart}
\usepackage{xpatch}

\xpatchcmd{\proof}
  {\itshape}
  {\bfseries}
  {}
  {}

\begin{document}

\begin{proof}
test
\end{proof}

\begin{proof}[A test proof]
test
\end{proof}

\end{document}

如果你不想让头部后面的句号变成粗体，那么补丁将是

\xpatchcmd{\proof}
  {\itshape#1}
  {{\bfseries#1}}
  {}
  {}