| Current Path : /home/beeson/public_html/michaelbeeson_old/research/papers/programs/proofs/ |
| Current File : //home/beeson/public_html/michaelbeeson_old/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