An implementation of theorems, lemmas, etc., that permits them to be repeated, with their proofs, in an appendix.
The author is Ben Klemens. The package is Copyright © 2003 Ben Klemens.
License: gpl2 Catalogued: 2012-04-27
An implementation of theorems, lemmas, etc., that permits them to be repeated, with their proofs, in an appendix.
The author is Ben Klemens. The package is Copyright © 2003 Ben Klemens.
License: gpl2 Catalogued: 2012-04-27