Z12522: Difference between revisions

Revision as of 23:59, 7 March 2024

This page displays in a limited way without JavaScript.

@@ Line 81: / Line 81: @@
                 "Z1K1": "Z11",
                 "Z11K1": "Z1002",
-                "Z11K2": "(!) division"
+                "Z11K2": "(!) division of strings"
             },
             {
@@ Line 125: / Line 125: @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "see Z13546 for natural number division"
+            }
         ]
     }