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: gpl Catalogued: 2007-03-01
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: gpl Catalogued: 2007-03-01