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