Z13518 : Diférans ant vèrsyon
Aucun résumé des modifications |
➕ℕ ₀ aliases |
||
Lign 140 : | Lign 140 : | ||
"non-negative number (integer)", |
"non-negative number (integer)", |
||
"positive whole number (including 0)", |
"positive whole number (including 0)", |
||
" |
"unsigned integer", |
||
"int ≥ 0", |
|||
"n ∈ ℕ₀", |
|||
"ℕ₀" |
|||
] |
] |
||
}, |
}, |
Vèrsyon di 10 mars 2024 à 23:27
Affichage réduit de cette page sans Javascript.