Nuprl Definition : dectt
dectt(d) == isl(d)
Definitions occuring in Statement :
isl: isl(x)
Definitions occuring in definition :
isl: isl(x)
FDL editor aliases :
dectt
Latex:
dectt(d) == isl(d)
Date html generated:
2016_05_15-PM-03_58_05
Last ObjectModification:
2015_09_23-AM-07_45_47
Theory : general
Home
Index