Z13695: Difference between revisions

Revision as of 15:36, 4 May 2024

This page displays in a limited way without JavaScript.

@@ Line 168: / Line 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",
+                    " ℕ₁ ≤ ℕ₂"
                 ]
             }