phfthm__source
Goodies for theorems and proofs
- Version:
- 1.2
- Copyright:
- Philippe Faist
- License:
- lppl1.3
- Packaged on:
- 10/14/2021 20:11:47
- Number of files:
- 5
- Size on disk:
- 117.19 kB
This package provides enhanced theorem and proof environments based on the amsthm original versions. It allows for hooks to be placed, adds some default goodies and is highly customizable. In particular, it can connect theorems to proofs, automatically producing text such as “See proof on page XYZ” and “Proof of Theorem 4: ...”.