Xavier Holt Deleted File  about 8 years ago

Commit id: eb9afe589a200c578fa162c2884344417677785e

deletions | additions      

         

\begin{claim}  If the closest point is on a boundary, the closest vertices are the endpoints of this boundary.  \end{claim}