Nuprl Definition : w-nil
w-nil() == inl ⋅
Definitions occuring in Statement :
it: ⋅,
inl: inl x
Definitions occuring in definition :
inl: inl x,
it: ⋅
FDL editor aliases :
w-nil
Latex:
w-nil() == inl \mcdot{}
Date html generated:
2016_05_15-PM-10_05_53
Last ObjectModification:
2015_09_23-AM-08_22_13
Theory : bar!induction
Home
Index