---

g o f ==  <fst(f), g o (snd(f))>

---

Definitions :  pair: <a, b>,  pi1: fst(t),  compose: f o g,  pi2: snd(t)
FDL editor aliases :  fpf-compose

---

g  o  f  ==    <fst(f),  g  o  (snd(f))>


Date html generated: 2010_08_26-PM-11_58_51
Last ObjectModification: 2008_02_27-PM-09_44_12

Home Index