Nuprl Definition : cs-considered-val
cs-considered-val(x) == outl(outr(x))
Definitions occuring in Statement :
outr: outr(x),
outl: outl(x)
FDL editor aliases :
cs-considered-val
cs-considered-val(x) == outl(outr(x))
Date html generated:
2015_07_17-AM-11_23_25
Last ObjectModification:
2012_02_25-AM-11_41_00
Home
Index