Step * of Lemma rv-pos-angle-symmetry

n:ℕ. ∀a,b,c:ℝ^n.  (rv-pos-angle(n;a;b;c)  rv-pos-angle(n;c;b;a))
BY
(Auto THEN ParallelLast) }

1
1. : ℕ
2. : ℝ^n
3. : ℝ^n
4. : ℝ^n
5. |a b⋅b| < (||a b|| ||c b||)
⊢ |c b⋅b| < (||c b|| ||a b||)


Latex:


Latex:
\mforall{}n:\mBbbN{}.  \mforall{}a,b,c:\mBbbR{}\^{}n.    (rv-pos-angle(n;a;b;c)  {}\mRightarrow{}  rv-pos-angle(n;c;b;a))


By


Latex:
(Auto  THEN  ParallelLast)




Home Index