---

Step * of Lemma divides_preorder

Preorder(ℤ;x,y.x | y)
BY
{ (RepUnfolds ``preorder refl trans`` 0 THEN Auto) }

1
1. ∀a:ℤ. (a | a)
2. a : ℤ
3. b : ℤ
4. c : ℤ
5. a | b
6. b | c
⊢ a | c

---

Latex:

---

Latex:
Preorder(\mBbbZ{};x,y.x  |  y)


By

---

Latex:
(RepUnfolds  ``preorder  refl  trans``  0  THEN  Auto)

---

Home Index