---

x  dom(f) ==  deq-member(eq;x;fst(f))

---

Definitions :  deq-member: deq-member(eq;x;L),  pi1: fst(t)
FDL editor aliases :  fpf-dom

---

x  \mmember{}  dom(f)  ==    deq-member(eq;x;fst(f))


Date html generated: 2010_08_26-PM-11_43_35
Last ObjectModification: 2008_02_27-PM-09_36_12

Home Index