Elizabeth Henning edited my theorem.tex  over 7 years ago

Commit id: 0c882b66ec1f0a61b4f81266f7d4b66a709a1b0f

deletions | additions      

       

This is a proof.  \end{proof}  {\color{Orchid} {\color{Periwinkle}  I associate this color with Jon.}