Sindbad~EG File Manager

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

EAABCabc
NCABC   defn:equalangles
EQAB  assumption
COABC   defn:collinear
NEAB  reductio
EQBC  assumption
COABC  defn:collinear
NEBC   reductio
EQAC   assumption
COABC  defn:collinear
NEAC   reductio
EAabcABC  lemma:equalanglessymmetric
NCabc   defn:equalangles
EQab  assumption
COabc   defn:collinear
NEab  reductio
EQbc  assumption
COabc  defn:collinear
NEbc   reductio
EQac   assumption
COabc  defn:collinear
NEac   reductio
ANNEAB+NEBC+NEAC+NEab+NEbc+NEac

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