---

Step * of Lemma functor-curry_wf

No Annotations
∀[A,B,C:SmallCategory].  (functor-curry(A;B) ∈ Functor(FUN(A × B;C);FUN(A;FUN(B;C))))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[A,B,C:SmallCategory].    (functor-curry(A;B)  \mmember{}  Functor(FUN(A  \mtimes{}  B;C);FUN(A;FUN(B;C))))


By

---

Latex:
ProveWfLemma

---

Home Index