Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I’ve edited metric space so as to make an upload link of a djvu version of the thesis of Lawvere’s student Meng (we have written permission to host it). Unfortunately even after reducing the file from a 45MB pdf, it’s 9247KB, a whisker over the 9000KB file upload limit. The djvu file may be found here in my dropbox account, if someone else has magic powers to temporarily override the system.
I increased the limit to 9500 KB and uploaded the file.
Thanks, Adeel!!
1 to 3 of 3