User contributions for 99.70.28.124
Jump to navigation
Jump to search
16 October 2013
- 19:1119:11, 16 October 2013 diff hist +3,942 N Tensor-hom adjunction Fixed codomain on counit identity calculation: maps into Y tensor X, not just Y. current