---

Step * of Lemma divides_reflexivity

∀a:ℤ. (a | a)
BY
{ Auto }

1
1. a : ℤ
⊢ a | a

---

Latex:

---

Latex:
\mforall{}a:\mBbbZ{}.  (a  |  a)


By

---

Latex:
Auto

---

Home Index