Z813: Difference between revisions

Revision as of 11:03, 13 January 2024

This page displays in a limited way without JavaScript.

@@ Line 74: / Line 74: @@
                     "is empty list",
                     "null list",
-                    "list has no elements"
+                    "list has no elements",
+                    "empty list",
+                    "list empty",
+                    "list is empty"
                 ]
             }
@@ Line 82: / Line 85: @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "returns true if and only if the list has zero elements"
+            }
         ]
     }