Legacy IP contributions for 2601:589:4880:2090:295D:AAF1:DEFC:542F
Results for 2601:589:4880:2090:295D:AAF1:DEFC:542F talk block log logs global block log filter log
15 February 2021
- 07:0207:02, 15 February 2021 diff hist −148 Prenex normal form →Conversion to prenex form Tags: Reverted references removed Mobile edit Mobile web edit
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.