en equality of natural numbers Z13522
en Function

Revision as of 17:26, 20 June 2024

This page displays in a limited way without JavaScript.

@@ Line 123: / Line 123: @@
         "Z8K4": [
             "Z14",
-            "Z15920",
-            "Z15917",
-            "Z14118",
             "Z13533",
             "Z13526",
-            "Z15912"
+            "Z15917",
+            "Z15912",
+            "Z14118",
+            "Z15920"
         ],
         "Z8K5": "Z13522"