---

Step * of Lemma fan-implies-PFan

Fan ⇒ PFan{i:l}()
BY
{ Auto }

1
1. Fan
⊢ PFan{i:l}()

---

Latex:

---

Latex:
Fan  {}\mRightarrow{}  PFan\{i:l\}()


By

---

Latex:
Auto

---

Home Index