Nuprl Definition : names
names(I) == {n:ℕ| n ∈ I}
Definitions occuring in Statement :
fset-member: a ∈ s,
int-deq: IntDeq,
nat: ℕ,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
nat: ℕ,
fset-member: a ∈ s,
int-deq: IntDeq
FDL editor aliases :
names
Latex:
names(I) == \{n:\mBbbN{}| n \mmember{} I\}
Date html generated:
2016_05_18-AM-11_56_13
Last ObjectModification:
2015_10_13-PM-01_08_29
Theory : cubical!type!theory
Home
Index