---

Step * of Lemma eqmod_refl

No Annotations
∀m,a:ℤ.  (a ≡ a mod m)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
No  Annotations
\mforall{}m,a:\mBbbZ{}.    (a  \mequiv{}  a  mod  m)


By

---

Latex:
EAuto  1

---

Home Index