Upload:
Please note that regardless of the name of the file you are uploading, it will be named 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