使用 thmtools 的无编号定理环境

Question

这会产生一个错误（\* already defined）：

\documentclass{report}
\usepackage{thmtools}
\declaretheorem[numbered=no]{theorem}
\begin{document}
     Nothing.
\end{document}

添加包amsthm可以解决问题：

\documentclass{report}
\usepackage{amsthm}
\usepackage{thmtools}
\declaretheorem[numbered=no]{theorem}
\begin{document}
     Nothing.
\end{document}

但是，如果我想定义自己的proof环境（而不更改现有的 LaTeX 代码），该怎么办？这会产生错误 ( \proof already defined)：

\documentclass{report}
\usepackage{amsthm}
\usepackage{thmtools}
\declaretheorem[numbered=no]{proof}
\begin{document}
     Nothing.
\end{document}

我可以使用包ntheorem作为包的后端thmtools，但是的文档thmtools说某些功能不适用于ntheorem。

Answer 1

你可以简单地欺骗 LaTeX，让它认为proof没有定义：

\let\proof\relax
\declaretheorem[numbered=no]{proof}