---

Step * 1 2 1 of Lemma qrng_wf


IsGroup(ℚ;λx,y. (x + y);0;λx.-(x))
BY
{ D 0 }

1
IsMonoid(ℚ;λx,y. (x + y);0)

2
Inverse(ℚ;λx,y. (x + y);0;λx.-(x))

---

Latex:

---

Latex:

IsGroup(\mBbbQ{};\mlambda{}x,y.  (x  +  y);0;\mlambda{}x.-(x))


By

---

Latex:
D  0

---

Home Index