User contributions for 50.164.202.78
Jump to navigation
Jump to search
8 December 2014
- 16:5216:52, 8 December 2014 diff hist +99 Closed monoidal category No edit summary current
29 September 2014
- 21:0521:05, 29 September 2014 diff hist +24 Myhill isomorphism theorem →Myhill isomorphism theorem: link for 'effective' - see talk page. current
14 November 2013
- 00:3500:35, 14 November 2013 diff hist +3,980 N Π01 class the descriptive set theory article is a better fit here since that is what, I think, is meant.
23 September 2013
- 20:5620:56, 23 September 2013 diff hist +9,041 N De Bruijn index →Alternatives to De Bruijn indices: fix broken external link