Apache/2.4.41 (Ubuntu) Server at www.ftp.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
README.md 2024-03-27 13:42 1.1K
reptheorem.dtx 2024-03-27 16:26 14K
reptheorem.ins 2024-03-27 13:42 2.3K
reptheorem.pdf 2024-03-27 13:42 265K