---

Step * of Lemma half-plane-cong-angle_wf

∀g:EuclideanPlane. ∀[d,a,b,c:Point].  (abc ≅ρ dbc ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlane.  \mforall{}[d,a,b,c:Point].    (abc  \00D0\mrho{}  dbc  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index