thrmappendix – Theorems, lemmas, etc., in appendix

An im­ple­men­ta­tion of the­o­rems, lem­mas, etc., that per­mits them to be re­peated, with their proofs, in an ap­pendix.