Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2014_05_17_Univalent..> | 2014-05-17 09:07 | 60K | TeX source file | |
Univalent library pa..> | 2014-04-29 12:38 | 2.2K | TeX bibliography items -- bibtex output, latex input | |
Univalent library pa..> | 2014-05-27 13:43 | 98K | PDF document file | |
alggeom.bib | 2014-04-29 12:36 | 87K | TeX bibliography items -- bibtex input | |
msc1400057_PRF.pdf | 2014-10-21 08:05 | 535K | PDF document file | |