![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | DEPENDS.txt | 2023-07-23 05:45 | 12 |
![]() | README.md | 2023-07-23 05:45 | 693 |
![]() | LICENSE | 2023-07-23 05:45 | 19K |
![]() | create-theorem-doc.tex | 2023-07-23 05:45 | 36K |
![]() | create-theorem-doc.pdf | 2023-07-23 05:45 | 86K |
![]() | create-theorem.sty | 2023-07-23 05:45 | 119K |