Nuprl Definition : exposed-bfalse
exposed-bfalse == inr ⋅
Definitions occuring in Statement :
it: ⋅,
inr: inr x
Definitions occuring in definition :
inr: inr x ,
it: ⋅
Latex:
exposed-bfalse == inr \mcdot{}
Date html generated:
2016_05_13-PM-03_55_23
Last ObjectModification:
2015_09_22-PM-05_45_35
Theory : bool_1
Home
Index