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

TGAaBbCc
ANBEAaH+EEaHBb+LTCcAH  defn:togethergreater
BEAaH 
EEaHBb
LTCcAH
NEAa   lemma:betweennotequal
NEaA   lemma:inequalitysymmetric
NEaH   lemma:betweennotequal
NEBb   axiom:nocollapse
ANBEaAh+EEAhBb   lemma:extension
EEAaaA   cn:equalityreverse
EEaHBb
EEAhBb
EEBbAh  lemma:congruencesymmetric
EEaHAh  lemma:congruencetransitive
BEAaH
BEaAh
EEAHah  cn:sumofparts
LTCcah  lemma:lessthancongruence
TGaABbCc defn:togethergreater
EECccC   cn:equalityreverse
LTcCAH   lemma:lessthancongruence2
TGAaBbcC  defn:togethergreater
ANTGaABbCc+TGAaBbcC

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