---

Step * 1 of Lemma absval_assoced


1. a : ℤ
2. -1 < a
⊢ a ~ a
BY
{ EAuto 1 }

---

Latex:

---

Latex:

1.  a  :  \mBbbZ{}
2.  -1  <  a
\mvdash{}  a  \msim{}  a


By

---

Latex:
EAuto  1

---

Home Index