Nuprl Definition : list_n
A List(n) == {x:A List| ||x|| = n ∈ ℤ}
Definitions occuring in Statement :
length: ||as||,
list: T List,
set: {x:A| B[x]} ,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]} ,
list: T List,
equal: s = t ∈ T,
int: ℤ,
length: ||as||
FDL editor aliases :
list_n
Latex:
A List(n) == \{x:A List| ||x|| = n\}
Date html generated:
2016_05_14-AM-06_34_47
Last ObjectModification:
2015_12_03-PM-02_06_24
Theory : list_0
Home
Index