---

Step * of Lemma assert-equal-test

∀[A,B:Type]. ∀[f:A ⟶ B]. ∀[a1,a2:A].  (f a1) = (f a2) ∈ B supposing a1 = a2 ∈ A
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[A,B:Type].  \mforall{}[f:A  {}\mrightarrow{}  B].  \mforall{}[a1,a2:A].    (f  a1)  =  (f  a2)  supposing  a1  =  a2


By

---

Latex:
Auto

---

Home Index