---

varname(x;i) ==  inr <i, x> 

---

Definitions :  inr: inr x ,  pair: <a, b>
FDL editor aliases :  varname

---

varname(x;i)  ==    inr  <i,  x> 


Date html generated: 2010_08_26-PM-11_42_35
Last ObjectModification: 2008_02_27-PM-09_35_19

Home Index