---

Step * of Lemma mData-examples

(<ℤ, 33> ∈ mData) ∧ (<𝔹, tt> ∈ mData) ∧ (<ℤ ⟶ ℤ, λx.(x + 1)> ∈ mData) ∧ (<ℤ × 𝔹, 33, ff> ∈ mData)
BY
{ (RepUR ``let`` 0 THEN Auto) }

---

Latex:

---

Latex:
(<\mBbbZ{},  33>  \mmember{}  mData)  \mwedge{}  (<\mBbbB{},  tt>  \mmember{}  mData)  \mwedge{}  (<\mBbbZ{}  {}\mrightarrow{}  \mBbbZ{},  \mlambda{}x.(x  +  1)>  \mmember{}  mData)  \mwedge{}  (<\mBbbZ{}  \mtimes{}  \mBbbB{},  33,  ff>  \mmember{}  mData)


By

---

Latex:
(RepUR  ``let``  0  THEN  Auto)

---

Home Index