User contributions for 129.199.2.17
Jump to navigation
Jump to search
18 April 2012
- 21:5121:51, 18 April 2012 diff hist +5,174 N Thompson groups Undid revision 481709627 by 130.225.103.21 (talk)---it is indeed Richard Thompson, not JG (e.g. read the AMS notices article)