| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/RTsymmetric.prf |
RTABCDEF ANSUabcde+EAABCabc+EADEFdbe defn:tworightangles SUabcde EAABCabc EADEFdbe SUebdca lemma:supplementsymmetric NCdbe lemma:equalanglesNC EAdbeebd lemma:ABCequalsCBA NCabc lemma:equalanglesNC EAabccba lemma:ABCequalsCBA EADEFebd lemma:equalanglestransitive EAABCcba lemma:equalanglestransitive RTDEFABC defn:tworightangles