Nuprl Definition : bool
𝔹 == Unit?
Definitions occuring in Statement :
unit: Unit,
union: left + right
Definitions occuring in definition :
union: left + right,
unit: Unit
FDL editor aliases :
bool
Latex:
\mBbbB{} == Unit?
Date html generated:
2016_05_13-PM-03_20_01
Last ObjectModification:
2016_01_04-AM-10_27_10
Theory : basic_types
Home
Index