| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/RTcongruence.prf |
RTABCDEF EAABCPQR ANSUabcde+EAABCabc+EADEFdbe defn:tworightangles SUabcde EAABCabc EADEFdbe EAPQRABC lemma:equalanglessymmetric EAPQRabc lemma:equalanglestransitive ANSUabcde+EAPQRabc+EADEFdbe RTPQRDEF defn:tworightangles