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

EEABab
EEACac
EEBCbc
BEABC
NEAB  lemma:betweennotequal
EEABab  
NEab axiom:nocollapse
NEBC  lemma:betweennotequal
NEbc  axiom:nocollapse
ANBEabd+EEbdbc  lemma:localextension
BEabd
EEbdbc
EEbcbd  lemma:congruencesymmetric
EEbcBC  lemma:congruencesymmetric
EEbdBC  cn:congruencetransitive
EEABab
EEBCbd  lemma:congruencesymmetric
EEBCbc
EEACac
EECCcd  axiom:5-line
EEcdCC  lemma:congruencesymmetric
NEcd   assumption
 NECC  axiom:nocollapse
 EQCC  cn:equalityreflexive
EQcd    reductio
BEabc   cn:equalitysub

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