Apache/2.4.41 (Ubuntu) Server at ctan.mines-albi.fr Port 443Name Last modified Size Description
Parent Directory -
DEPENDS.txt 2022-08-05 12:49 12
LICENSE 2022-08-05 12:49 19K
README.md 2022-08-05 12:49 676
create-theorem-doc.pdf 2022-08-05 12:49 71K
create-theorem-doc.tex 2022-08-05 12:49 28K
create-theorem.sty 2022-08-05 12:49 95K