---

Comm-q(cSt) ==  fst(snd(cSt))

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  Comm-q

---

Comm-q(cSt)  ==    fst(snd(cSt))


Date html generated: 2010_08_27-PM-08_46_38
Last ObjectModification: 2010_03_25-PM-04_26_31

Home Index