Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/Prop26B.prf

TRABC
TRDEF
EAABCDEF
EABCAEFD
EEABDE
NOLTEFBC  lemma:26helper
EADEFABC  lemma:equalanglessymmetric
EAEFDBCA  lemma:equalanglessymmetric
EEDEAB   lemma:congruencesymmetric
NOLTBCEF  lemma:26helper
EQBC assumption
 COABC  defn:collinear
 NCABC  defn:triangle
NEBC reductio
EQEF  assumption
 CODEF defn:collinear
 NCDEF defn:triangle
NEEF   reductio
EEBCEF     lemma:trichotomy1
EEBAED  lemma:congruenceflip
ANEEACDF+EABACEDF+EABCAEFD  proposition:04
EEACDF
EABACEDF
ANEEBCEF+EEACDF+EABACEDF

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists