Nuprl Definition : int_nzero
ℤ-o == {i:ℤ| i ≠ 0}
Definitions occuring in Statement :
nequal: a ≠ b ∈ T ,
set: {x:A| B[x]} ,
natural_number: $n,
int: ℤ
Definitions occuring in definition :
set: {x:A| B[x]} ,
nequal: a ≠ b ∈ T ,
int: ℤ,
natural_number: $n
FDL editor aliases :
int_nzero
Latex:
\mBbbZ{}\msupminus{}\msupzero{} == \{i:\mBbbZ{}| i \mneq{} 0\}
Date html generated:
2016_05_13-PM-03_32_29
Last ObjectModification:
2015_09_22-PM-05_44_54
Theory : arithmetic
Home
Index