---

Step * of Lemma ws_single_lemma

∀F,p:Top.  (weighted-sum([p];F) ~ 0 + ((F 0) * p))
BY
{ (UnivCD THENA Auto) }

1
1. F : Top@i
2. p : Top@i
⊢ weighted-sum([p];F) ~ 0 + ((F 0) * p)

---

Latex:


\mforall{}F,p:Top.    (weighted-sum([p];F)  \msim{}  0  +  ((F  0)  *  p))


By

(UnivCD  THENA  Auto)

---

Home Index