---

Step * 1 2 3 of Lemma int_add_grp_wf2


Cancel(ℤ;ℤ;λx,y. (x + y))
BY
{ Eval ``cancel`` 0 THEN Auto' }

---

Latex:

---

Latex:

Cancel(\mBbbZ{};\mBbbZ{};\mlambda{}x,y.  (x  +  y))


By

---

Latex:
Eval  ``cancel``  0  THEN  Auto'

---

Home Index