User contributions for 70.72.216.53
For 70.72.216.53 talk block log logs filter log
31 January 2019
- 04:3804:38, 31 January 2019 diff hist +4 Normal matrix Grammar edit
23 November 2017
- 22:3722:37, 23 November 2017 diff hist +297 Talk:Knuth's up-arrow notation →Severe error right at the beginning
- 22:2922:29, 23 November 2017 diff hist −2 Knuth's up-arrow notation Fixed incorrect definition of the recursive case of Knuth's arrow-up definition (note that this now makes it agree with how it is defined in the "definition" section)
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |