---

Step * 1 of Lemma rv-orthogonal-implies-functional

.....antecedent..... 
1. [rv] : InnerProductSpace
2. f : Point ⟶ Point
3. Orthogonal(f)
⊢ Isometry(f)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
.....antecedent..... 
1.  [rv]  :  InnerProductSpace
2.  f  :  Point  {}\mrightarrow{}  Point
3.  Orthogonal(f)
\mvdash{}  Isometry(f)


By

---

Latex:
EAuto  1

---

Home Index