User contributions for 72.93.32.62
Jump to navigation
Jump to search
9 December 2013
- 01:2501:25, 9 December 2013 diff hist +5,184 N Monoidal functor It is unclear what "properties" was doing there.
18 November 2013
- 05:5305:53, 18 November 2013 diff hist +3,233 N Contraction mapping just made the "nonnegativeness" of k symbolically explicit.