Z13522: Difference between revisions

Revision as of 12:46, 6 Marso 2024

This page displays in a limited way without JavaScript.

@@ Linea 98: / Linea 98: @@
                     "number equality",
                     "equal natural numbers",
-                    "equal numbers"
+                    "equal numbers",
+                    "=="
                 ]
             }