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",
+                    " ℕ₁ ≤ ℕ₂"
                 ]
             }