Name Last modified Size Description Parent Directory - reptheorem.dtx 2025-08-15 12:53 18K README.md 2025-08-15 12:53 1.1K reptheorem.ins 2025-08-15 12:53 2.3K reptheorem-doc.pdf 2025-08-15 12:53 291K