Text.LaTeX.Packages.AMSThm
AMSThm package
amsthm
AMSThm functions
newtheorem
theorem
proof
qedhere
data
TheoremStyle
theoremstyle