---

Step * of Lemma symmetry_preserves_midpoint

∀e:BasicGeometry. ∀a,b,c,d,e1,f,z:Point.  ((((a=z=d ∧ b=z=e1) ∧ c=z=f) ∧ a=b=c) ⇒ d=e1=f)
BY
{ Auto }

1
1. e : BasicGeometry
2. a : Point
3. b : Point
4. c : Point
5. d : Point
6. e1 : Point
7. f : Point
8. z : Point
9. a=z=d
10. b=z=e1
11. c=z=f
12. a=b=c
⊢ d=e1=f

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b,c,d,e1,f,z:Point.    ((((a=z=d  \mwedge{}  b=z=e1)  \mwedge{}  c=z=f)  \mwedge{}  a=b=c)  {}\mRightarrow{}  d=e1=f)


By

---

Latex:
Auto

---

Home Index