---

Step * of Lemma presheaf-false_wf

No Annotations
∀[C:SmallCategory]. (False ∈ ps_context{j:l}(C))
BY
{ ((Assert Void ∈ 𝕌{j} BY Auto) THEN ProveWfLemma) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[C:SmallCategory].  (False  \mmember{}  ps\_context\{j:l\}(C))


By

---

Latex:
((Assert  Void  \mmember{}  \mBbbU{}\{j\}  BY  Auto)  THEN  ProveWfLemma)

---

Home Index