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
- theoremstyle :: Monad m => TheoremStyle -> LaTeXT_ m
proof environment. The first optional argument
is used to put a custom title to the proof.