User contributions for 2A02:8388:1984:6000:2510:5521:320C:AC1D
Results for 2A02:8388:1984:6000:2510:5521:320C:AC1D talk block log logs global block log filter log
3 August 2022
- 15:4215:42, 3 August 2022 diff hist +6 Well-founded relation →Reflexivity: formatting of one more relation symbol
- 15:2415:24, 3 August 2022 diff hist +34 Well-founded relation fixed spacing by using \mathrel
 | 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. |