User contributions for 2601:7:7600:B6:65ED:ABFD:5E48:19E3
Jump to navigation
Jump to search
30 August 2013
- 04:4404:44, 30 August 2013 diff hist +6,073 N Closed monoidal category →Biclosed and symmetric categories