Nuprl Definition : int_lower
{...i} == {j:ℤ| j ≤ i}
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_lower
Latex:
\{...i\} == \{j:\mBbbZ{}| j \mleq{} i\}
Date html generated:
2016_05_13-PM-03_32_36
Last ObjectModification:
2015_09_22-PM-05_44_55
Theory : arithmetic
Home
Index