---

Step * of Lemma rv-norm-sub

No Annotations
∀[rv:InnerProductSpace]. ∀[x,y:Point(rv)].  (||x - y|| = ||y - x||)
BY
{ Auto }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[rv:InnerProductSpace].  \mforall{}[x,y:Point(rv)].    (||x  -  y||  =  ||y  -  x||)


By

---

Latex:
Auto

---

Home Index