---

thr[A;B] |= bs ==  bs A B es thr

---

Definitions :  apply: f a
FDL editor aliases :  is-basic-seq

---

thr[A;B]  |=  bs  ==    bs  A  B  es  thr


Date html generated: 2010_08_28-AM-03_13_36
Last ObjectModification: 2010_02_23-AM-10_39_23

Home Index