From 6af3c708350a3b771bd152ab80dc629436680c19 Mon Sep 17 00:00:00 2001
From: saundersp <pierre.saundersgb@gmail.com>
Date: Mon, 5 Aug 2024 00:32:42 +0200
Subject: [PATCH] =?UTF-8?q?packages/macros.sty=20:=20added=20proof=20envir?=
=?UTF-8?q?onment=20with=20=C2=ABamsthm=C2=BB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
packages/macros.sty | 3 +++
1 file changed, 3 insertions(+)
diff --git a/packages/macros.sty b/packages/macros.sty
index f1d52d2..ca88f6a 100644
--- a/packages/macros.sty
+++ b/packages/macros.sty
@@ -2,6 +2,8 @@
\RequirePackage{amsfonts} % Include missing symbols s.a "Natural Numbers"
+\usepackage{amsthm} % for 'proof' environment
+
% Snippet to add dots to TOC
% Thanks to "user11232" at https://tex.stackexchange.com/questions/53898/how-to-get-lines-with-dots-in-the-table-of-contents-for-sections
%\usepackage{tocloft}
@@ -42,6 +44,7 @@
\newcommand{\functiondef}[2]{\hspace{15pt}#1 \longmapsto #2}
\newcommand{\otherwise}{\text{Sinon}}
%\newcommand{\otherwise}{\text{Otherwise}}
+\DeclareMathOperator{\union}{\cup}
\renewcommand{\smallskip}{\vspace{3pt}}
\renewcommand{\medskip}{\vspace{6pt}}