User contributions for 2001:6B0:2:2801:A510:7880:9229:762B
For 2001:6B0:2:2801:A510:7880:9229:762B talk block log logs filter log
15 August 2017
- 15:5015:50, 15 August 2017 diff hist +1 Kleene algebra "last two axioms" was followed by a list of 4 bullet points. I replaced "two" by "four". If "two" was intended, please group the bullet points differently.
- 15:4715:47, 15 August 2017 diff hist +508 Talk:Kleene algebra →Inequality vs equality for * axioms?
 | 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. |