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

NEAB
NEBC
ANELABD+TRABD  proposition:01
ELABD
TRABD
EEABBD  defn:equilateral
EEBDAB  lemma:congruencesymmetric
EEBDBA  lemma:congruenceflip
EEBDDA  defn:equilateral
NCABD   defn:triangle
EQBB    cn:equalityreflexive
CIJBBC  postulate:Euclid3
ICBJ    defn:inside
NEDB    lemma:NCdistinct
ANCODBP+BEDBG+ONPJ+ONGJ+BEPBG postulate:line-circle
BEDBG
ONGJ
NEDG    lemma:betweennotequal
CIRDDG  postulate:Euclid3
EEBGBC  axiom:circle-center-radius
EEBCBG  lemma:congruencesymmetric
EQDD    cn:equalityreflexive
EEDABD  lemma:congruencesymmetric
EEDADB  lemma:congruenceflip
EEDGDG  cn:congruencereflexive
ANBEDBG+EEDGDG+EEDADB
ICAR    defn:inside
NEDA   lemma:NCdistinct
ANCODAQ+BEDAL+ONQR+ONLR+BEQAL postulate:line-circle
BEDAL
ONLR
EEDLDG  axiom:circle-center-radius
EEDBDB  cn:congruencereflexive
EEDBDA  lemma:congruencesymmetric
EEDGDL  lemma:congruencesymmetric
EEBGAL  lemma:differenceofparts
EEALBC  cn:congruencetransitive

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