| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/equalanglesflip.prf |
EAABCDEF NCDEF lemma:equalanglesNC EADEFABC lemma:equalanglessymmetric NCABC lemma:equalanglesNC COCBA assumption COABC lemma:collinearorder NCCBA reductio EACBAABC lemma:ABCequalsCBA EACBADEF lemma:equalanglestransitive EADEFFED lemma:ABCequalsCBA EACBAFED lemma:equalanglestransitive