Nuprl Definition : btrue
tt == inl ⋅
Definitions occuring in Statement :
it: ⋅,
inl: inl x
Definitions occuring in definition :
inl: inl x,
it: ⋅
FDL editor aliases :
btrue
Latex:
tt == inl \mcdot{}
Date html generated:
2016_05_13-PM-03_20_02
Last ObjectModification:
2016_01_04-AM-10_27_11
Theory : basic_types
Home
Index