2021-11-25 11:08:06 +01:00
|
|
|
\input{$LATEX_RESOURCES/format/base.tex}
|
|
|
|
|
|
|
|
% ------------------------------------ %
|
|
|
|
|
2021-11-20 16:40:08 +01:00
|
|
|
\usepackage{amsmath}
|
|
|
|
\usepackage{amssymb}
|
|
|
|
\usepackage{amsthm}
|
|
|
|
\usepackage{mathrsfs}
|
|
|
|
\usepackage{bbold}
|
|
|
|
\usepackage[framemethod=TikZ]{mdframed}
|
2021-12-09 16:48:46 +01:00
|
|
|
\usepackage{tikz}
|
|
|
|
\usetikzlibrary{automata,arrows}
|
2021-11-20 16:40:08 +01:00
|
|
|
|
|
|
|
% ------------------------------------ %
|
|
|
|
|
2021-12-01 11:46:40 +01:00
|
|
|
\mdfsetup{nobreak=true}
|
|
|
|
|
2021-11-20 16:40:08 +01:00
|
|
|
\newcounter{thm}\setcounter{thm}{0}
|
|
|
|
\renewcommand{\thethm}{\arabic{thm}}
|
|
|
|
\newenvironment{thm}[2][]{
|
|
|
|
\refstepcounter{thm}
|
|
|
|
\ifstrempty{#1}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Theorem~\thethm}}}
|
|
|
|
}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Theorem~\thethm:~#1}}}
|
|
|
|
}
|
|
|
|
\begin{mdframed}[]\relax%
|
|
|
|
\label{#2}}{\end{mdframed}
|
|
|
|
}
|
|
|
|
|
|
|
|
\newcounter{lem}[section]\setcounter{lem}{0}
|
|
|
|
\renewcommand{\thelem}{\arabic{section}.\arabic{lem}}
|
|
|
|
\newenvironment{lem}[2][]{
|
|
|
|
\refstepcounter{lem}
|
|
|
|
\ifstrempty{#1}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Lemma~\thelem}}}
|
|
|
|
}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Lemma~\thelem:~#1}}}
|
|
|
|
}
|
|
|
|
\begin{mdframed}[]\relax%
|
|
|
|
\label{#2}}{\end{mdframed}}
|
|
|
|
|
|
|
|
\newcounter{prop}[subsection]\setcounter{prop}{0}
|
|
|
|
\renewcommand{\theprop}{\arabic{section}.\arabic{prop}}
|
|
|
|
\newenvironment{prop}[2][]{
|
|
|
|
\refstepcounter{prop}
|
|
|
|
\ifstrempty{#1}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Proposition~\theprop}}}
|
|
|
|
}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Proposition~\theprop:~#1}}}
|
|
|
|
}
|
|
|
|
\begin{mdframed}[]\relax%
|
|
|
|
\label{#2}}{\end{mdframed}}
|
|
|
|
|
|
|
|
\newcounter{defn}[section]\setcounter{defn}{0}
|
|
|
|
\renewcommand{\thedefn}{\arabic{defn}}
|
|
|
|
\newenvironment{defn}[2][]{
|
|
|
|
\refstepcounter{defn}
|
|
|
|
\ifstrempty{#1}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Definition~\thedefn}}}
|
|
|
|
}
|
|
|
|
{\mdfsetup{
|
|
|
|
frametitle={%
|
|
|
|
{\strut Definition~\thedefn:~#1}}}
|
|
|
|
}
|
|
|
|
\begin{mdframed}[]\relax%
|
|
|
|
\label{#2}}{\end{mdframed}}
|
|
|
|
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem*{rmk}{Remark}
|
2021-11-21 01:54:37 +01:00
|
|
|
\newtheorem*{note}{Note}
|