thrmappendix – Theorems, lemmas, etc., in appendix

An implementation of theorems, lemmas, etc., that permits them to be repeated, with their proofs, in an appendix.