---

Step * of Lemma rcos_functionality

∀[x,y:ℝ].  rcos(x) = rcos(y) supposing x = y
BY
{ (Auto THEN RWW "rcos-is-cosine -1" 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[x,y:\mBbbR{}].    rcos(x)  =  rcos(y)  supposing  x  =  y


By

---

Latex:
(Auto  THEN  RWW  "rcos-is-cosine  -1"  0  THEN  Auto)

---

Home Index