---

Step * of Lemma vs-neg-zero

∀[K:Rng]. ∀[vs:VectorSpace(K)].  (-(0) = 0 ∈ Point(vs))
BY
{ Auto }

1
1. K : Rng
2. vs : VectorSpace(K)
⊢ -(0) = 0 ∈ Point(vs)

---

Latex:

---

Latex:
\mforall{}[K:Rng].  \mforall{}[vs:VectorSpace(K)].    (-(0)  =  0)


By

---

Latex:
Auto

---

Home Index