Z13695: Unterschied zwischen den Versionen

Version fon 15:36, 4. Moa 2024

Diese Seite wird ohne JavaScript nur in eingeschränkter Weise angezeigt.

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