User contributions for 50.164.202.78
Jump to navigation
Jump to search
8 December 2014
- 15:5215:52, 8 December 2014 diff hist +99 Closed monoidal category No edit summary current
29 September 2014
- 20:0520:05, 29 September 2014 diff hist +24 Myhill isomorphism theorem →Myhill isomorphism theorem: link for 'effective' - see talk page. current
13 November 2013
- 23:3523:35, 13 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
- 19:5619:56, 23 September 2013 diff hist +9,041 N De Bruijn index →Alternatives to De Bruijn indices: fix broken external link