User contributions for 216.53.141.123
Jump to navigation
Jump to search
30 November 2014
- 17:3117:31, 30 November 2014 diff hist +319 Farkas' lemma s/proved/proven current