---

Step * 1 of Lemma ext-equal-presheaves-equiv-rel


1. C : SmallCategory
2. a : Presheaf(C)
⊢ ext-equal-presheaves(C;a;a)
BY
{ (D 0 THEN EAuto 1) }

---

Latex:

---

Latex:

1.  C  :  SmallCategory
2.  a  :  Presheaf(C)
\mvdash{}  ext-equal-presheaves(C;a;a)


By

---

Latex:
(D  0  THEN  EAuto  1)

---

Home Index