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/Prop25.prf

TRABC
TRDEF
EEABDE
EEACDF
LTEFBC
EEDEAB   lemma:congruencesymmetric
EEDFAC   lemma:congruencesymmetric
AOBACEDF  assumption
 LTBCEF  proposition:24
 NOLTEFBC lemma:trichotomy2
NOAOBACEDF reductio
NCABC   defn:triangle
COBAC   assumption
 COABC  lemma:collinearorder
NCBAC   reductio
NCDEF   defn:triangle
COEDF   assumption
 CODEF  lemma:collinearorder
NCEDF   reductio
EAEDFBAC  assumption
 EABACEDF  lemma:equalanglessymmetric
 EEBCEF  proposition:04
 EEEFBC  lemma:congruencesymmetric
 LTBCBC  lemma:lessthancongruence2
 NOLTBCBC lemma:trichotomy2
NOEAEDFBAC reductio
AOEDFBAC  lemma:angletrichotomy2

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