Nuprl Definition : add-name
I+i == fset-add(NamesDeq;i;I)
Definitions occuring in Statement :
names-deq: NamesDeq,
fset-add: fset-add(eq;x;s)
Definitions occuring in definition :
fset-add: fset-add(eq;x;s),
names-deq: NamesDeq
FDL editor aliases :
add-name
Latex:
I+i == fset-add(NamesDeq;i;I)
Date html generated:
2016_05_18-AM-11_59_55
Last ObjectModification:
2015_10_26-AM-11_24_15
Theory : cubical!type!theory
Home
Index