---

Step * of Lemma test3

λloc,L. loc ∈ ⋂A1,B1:Type.  (B1 ⟶ A1 ⟶ B1)
BY
{ (UseSimpleTypeInf THEN Auto) }

---

Latex:

---

Latex:
\mlambda{}loc,L.  loc  \mmember{}  \mcap{}A1,B1:Type.    (B1  {}\mrightarrow{}  A1  {}\mrightarrow{}  B1)


By

---

Latex:
(UseSimpleTypeInf  THEN  Auto)

---

Home Index