Nuprl Definition : decision
Decision == Top + Top
Definitions occuring in Statement :
top: Top
,
union: left + right
Definitions occuring in definition :
union: left + right
,
top: Top
FDL editor aliases :
decision
Latex:
Decision == Top + Top
Date html generated:
2016_05_15-PM-01_44_09
Last ObjectModification:
2015_09_23-AM-07_36_57
Theory : basic
Home
Index