前の記事で，amsthmでのproof環境が設定しづらいと書いた．このことについて，thmtoolsを使えばいろいろと簡単にいじれそうである． まずプリアンブルに\usepackage{thmtools}と書き，定理環境を次のように定義する \declaretheoremstyle[ spaceabove=6pt,sp…