User contributions for 2601:547:B05:A8D:5496:F81F:57C6:8D4C
Results for 2601:547:B05:A8D:5496:F81F:57C6:8D4C talk block log logs global block log filter log
22 January 2023
- 18:3518:35, 22 January 2023 diff hist 0 Counting quantification →Definition in terms of ordinary quantifiers: Avoid confusion of F with falsehood
- 18:3318:33, 22 January 2023 diff hist −9 Counting quantification →Definition in terms of ordinary quantifiers: More legible (fewer parentheses)
 | 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. |