---

Rcv ==  fst(snd(snd(snd(s))))

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  ses-rcv

---

Rcv  ==    fst(snd(snd(snd(s))))


Date html generated: 2010_08_28-AM-01_50_05
Last ObjectModification: 2010_02_22-PM-01_25_08

Home Index