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

RTABCPQR
EAABCJKL
RTJKLDEF
ANSUabcde+EAABCabc+EAPQRdbe defn:tworightangles
ANSUjklmn+EAJKLjkl+EADEFmkn  defn:tworightangles
SUabcde
EAABCabc
EAPQRdbe
SUjklmn
EAJKLjkl
EADEFmkn 
EAabcABC  lemma:equalanglessymmetric
EAabcJKL  lemma:equalanglestransitive
EAabcjkl  lemma:equalanglestransitive
EAdbemkn   lemma:supplements
EAPQRmkn  lemma:equalanglestransitive
EAmknDEF  lemma:equalanglessymmetric
EAPQRDEF  lemma:equalanglestransitive
EADEFPQR  lemma:equalanglessymmetric
ANEAPQRDEF+EADEFPQR

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