User contributions for 2A00:5BA0:20:14:5D37:7561:354D:D5C0
Jump to navigation
Jump to search
1 February 2025
- 00:1100:11, 1 February 2025 diff hist +4,688 N Spectral space I think it should be locales because that's covariant. Coherent in the op categories would be something completely different, it would be pushout of cocompact are cocompact. hoping I didn't get this wrong current