Text.LaTeX.Packages.AMSThm

AMSThm package

amsthm

AMSThm functions

newtheorem

theorem

proof

qedhere

data TheoremStyle

theoremstyle