Upload:
Please note that regardless of the name of the file you are uploading, it will be named propv05.pdf on the nLab. To change the name which the file will have on the nLab, please go back and edit the page that refers to the file.
Description:
as