---

st_arrow(domain;range) ==  inr inr (inl <domain, range> )  

---

Definitions occuring in Statement :  pair: <a, b>,  inr: inr x ,  inl: inl x 
Definitions :  inr: inr x ,  inl: inl x ,  pair: <a, b>
FDL editor aliases :  st_arrow

---

st\_arrow(domain;range)  ==    inr  inr  (inl  <domain,  range>  )   


Date html generated: 2011_08_17-PM-04_40_19
Last ObjectModification: 2011_02_06-PM-04_00_45

Home Index