---

Step * of Lemma rfun-ap_functionality

∀[f:ℝ ⟶ ℝ]. ∀x,y:ℝ.  f(x) = f(y) supposing x = y supposing ∀x,y:ℝ.  ((x = y) ⇒ ((f x) = (f y)))
BY
{ (Unfold `rfun-ap` 0 THEN Auto) }

---

Latex:

---

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


By

---

Latex:
(Unfold  `rfun-ap`  0  THEN  Auto)

---

Home Index