---

Step * of Lemma stable__Playfair-axiom

∀g:EuclideanPlane. Stable{Playfair-axiom(g)}
BY
{ (Unfold `Playfair-axiom` 0 THEN Auto) }

1
1. g : EuclideanPlane
⊢ Stable{∀p:Point. ∀l,m,n:Line.  ((p I m ∧ m || l) ⇒ (p I n ∧ n || l) ⇒ m ≡ n)}

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  Stable\{Playfair-axiom(g)\}


By

---

Latex:
(Unfold  `Playfair-axiom`  0  THEN  Auto)

---

Home Index