Step
*
of Lemma
weighted-sum-nil
∀[F:Top]. (weighted-sum([];F) ~ 0)
BY
{ (Reduce 0 THEN Auto) }
Latex:
\mforall{}[F:Top]. (weighted-sum([];F) \msim{} 0)
By
(Reduce 0 THEN Auto)
Home
Index