Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
README.md | 2024-Sep-22 21:23:40 | 1.0K | text/markdown;charset=utf-8 |
reptheorem.dtx | 2024-Sep-22 21:20:39 | 15.4K | application/octet-stream |
reptheorem.ins | 2024-Sep-22 21:23:40 | 2.3K | application/x-internet-signup |
reptheorem.pdf | 2024-Sep-22 21:23:43 | 279.8K | application/pdf |