Z13695 — разлика између измена
Updated the implementation list |
English (Z1002): aliases |
||
Ред 168: | Ред 168: | ||
"\u003C=", |
"\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", |
|||
" ℕ₁ ≤ ℕ₂" |
|||
] |
] |
||
} |
} |
Верзија на датум 4. мај 2024. у 15:36
Ова страница се не приказује у потпуности без JavaScript-а.