Z889: Difference between revisions

Revision as of 09:00, 13 January 2024

This page displays in a limited way without JavaScript.

@@ Line 110: / Line 110: @@
         "Z1K1": "Z32",
         "Z32K1": [
-            "Z31"
+            "Z31",
+            {
+                "Z1K1": "Z31",
+                "Z31K1": "Z1002",
+                "Z31K2": [
+                    "Z6",
+                    "equal lists",
+                    "list equivalence",
+                    "equivalent lists",
+                    "equality (list)"
+                ]
+            }
         ]
     },
@@ Line 116: / Line 127: @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "tests if two lists are exactly equal"
+            }
         ]
     }