0%

thmtools 包里的 thm-restate 子包提供了 restatable 环境。下面的例子里，借用了 hyperref 宏包（超链接）和 cleveref 宏包（提供了 \cref 宏，可以加载正确的定理样式）。具体可以查看 thmtools 宏包文档的 1.4 节。

We sometimes hope that we could show and discuss a theorem, without proof it. However, in appendix, we mey need to recall that theorem and then write down the details of proof.

The following context comes from TeX.SX that is provided by lockstep.

The thm-restate package which is part of thmtools offers a restatable environment. In the following example, I also use hyperref and cleveref (its \cref macro automatically adds the correct theorem type). See section 1.4 of the thmtools manual for details.