Nuprl Definition : int_upper
{i...} == {j:ℤ| i ≤ j}
Definitions occuring in Statement :
le: A ≤ B
,
set: {x:A| B[x]}
,
int: ℤ
Definitions occuring in definition :
set: {x:A| B[x]}
,
int: ℤ
,
le: A ≤ B
FDL editor aliases :
int_upper
Latex:
\{i...\} == \{j:\mBbbZ{}| i \mleq{} j\}
Date html generated:
2016_05_13-PM-03_32_55
Last ObjectModification:
2015_09_22-PM-05_44_58
Theory : arithmetic
Home
Index