「Z13695」版本間个差別

垃2024年5月4号 (六) 15:36做个改版

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

@@ 第168排： / 第168排： @@
                     "\u003C=",
                     "≯"
+                ]
+            },
+            {
+                "Z1K1": "Z31",
+                "Z31K1": "Z1002",
+                "Z31K2": [
+                    "Z6",
+                    "not greater than (natural numbers)",
+                    " N₁ ≤ N₂",
+                    "N \u003C= N",
+                    "  ℕ₁ ≯ ℕ₂",
+                    "not  N₁ \u003E N₂",
+                    "not N \u003E N",
+                    " ℕ₁ ≤ ℕ₂"
                 ]
             }