「Z13725」：修訂間差異

於 2024年3月7日 (四) 10:25 的修訂

此頁面以沒有JavaScript的方式顯示

@@ 第27行： / 第27行： @@
             "Z7K1": "Z889",
             "Z889K2": [
-                "Z1",
+                "Z1"
-                {
-                    "Z1K1": "Z13518",
-                    "Z13518K1": "3"
-                },
-                {
-                    "Z1K1": "Z13518",
-                    "Z13518K1": "2"
-                }
             ],
-            "Z889K3": "Z866"
+            "Z889K3": "Z13522"
         }
     },
@@ 第43行： / 第35行： @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "Reverse (untyped) list of Natural numbers"
+            }
         ]
     },