| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/samesidereflexive.prf |
NCABP EQAA cn:equalityreflexive EQPA assumption COABA defn:collinear COABP cn:equalitysub NEPA reductio NEAP lemma:inequalitysymmetric ANBEPAC+EEACAP lemma:extension BEPAC COABA defn:collinear SSPPAB defn:sameside