taumaturg/discrete-geometry-lecture-notes — comment on commit b034abd6fb359fd4cb5ea99294dd13210163c673
File:  line 0
By julian-upc:

Package amsbook already has a \begin{proof} ... \end{proof} environment.