From 106498a0950c71f0ff82ba7d51eae25f3c59e47a Mon Sep 17 00:00:00 2001
From: Fabrice Mouhartem <fabrice.mouhartem@ens-lyon.org>
Date: Wed, 28 Feb 2018 18:01:36 +0100
Subject: [PATCH] + thmtools for restatable theorems and cleveref

---
 main.tex | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/main.tex b/main.tex
index a705871..32ac155 100644
--- a/main.tex
+++ b/main.tex
@@ -36,16 +36,18 @@
 \usepackage{enumerate}
 
 \usepackage{amsmath, amssymb, mathrsfs}
-\usepackage{amsthm}
+\usepackage{amsthm} % For theorem style
+\usepackage{thmtools}
+\usepackage{thm-restate}
+\usepackage[capitalise]{cleveref}
 \usepackage{comment}
 \usepackage{tikz}
 \usetikzlibrary{positioning,patterns,shapes}
 
 % theorems, definitions
-\newtheorem{theorem}{Theorem}[chapter]
-\newtheorem{lemma}{Lemma}[chapter]
-\theoremstyle{definition}
-\newtheorem{definition}{Definition}[chapter]
+\declaretheorem[numberwithin=chapter]{theorem}
+\declaretheorem[sibling=theorem]{lemma}
+\declaretheorem[numberwithin=chapter,style=definition]{definition}
 
 \usepackage{pdfpages}
 \usepackage{xspace}