Package for theorem environments.

*For contributors: This module was automatically generated by HaTeX-meta.*
*So, please, don't make any change here directly, because*
*this is intended to be generated from*
Text.LaTeX.Packages.AMSThm *module via HaTeX-meta,*
*and therefore, changes must to be done in these places.*

- amsthm :: String
- newtheorem :: Monad m => String -> LaTeXT_ m -> LaTeXT_ m
- theorem :: Monad m => String -> LaTeXT_ m -> LaTeXT_ m
- proof :: Monad m => Maybe (LaTeXT_ m) -> LaTeXT_ m -> LaTeXT_ m
- qedhere :: Monad m => LaTeXT_ m
- data TheoremStyle
- = Plain
- | Definition
- | Remark
- | CustomThmStyle String

- theoremstyle :: Monad m => TheoremStyle -> LaTeXT_ m

# AMSThm package

# AMSThm functions

proof :: Monad m => Maybe (LaTeXT_ m) -> LaTeXT_ m -> LaTeXT_ mSource

The `proof`

environment. The first optional argument
is used to put a custom title to the proof.

data TheoremStyle Source

theoremstyle :: Monad m => TheoremStyle -> LaTeXT_ mSource

Set the theorem style. Call this function in the preamble.