Nuprl Definition : exposed-btrue
exposed-btrue == inl ⋅
Definitions occuring in Statement :
it: ⋅,
inl: inl x
Definitions occuring in definition :
inl: inl x,
it: ⋅
Latex:
exposed-btrue == inl \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