WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc
Who Cites dec2bool?
dec2bool
Def dec2bool(d) == InjCase(d; x. true
, false
)
Thm*
d:Decision. dec2bool(d)
About:
WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc