Nuprl Definition : pDVselex

pDVselex(rndv1) ==  inr inr inr inr inr inr (inl rndv1)      


Definitions occuring in Statement :  inr: inr x ,  inl: inl x
FDL editor aliases :  pDVselex
Latex:
pDVselex(rndv1)  ==    inr  inr  inr  inr  inr  inr  (inl  rndv1)           


Date html generated: 2015_07_23-AM-11_34_43
Last ObjectModification: 2012_08_30-PM-01_42_40

Home Index