From 07d16668f4102ee2152d920a356db7de8008bad3 Mon Sep 17 00:00:00 2001
From: David JULIEN <david.julien@ens-lyon.fr>
Date: Mon, 20 Jun 2022 09:10:23 +0200
Subject: [PATCH] refactor: no need to declare all cref labels

---
 format/math.tex | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/format/math.tex b/format/math.tex
index 7d61fb7..b9d837d 100644
--- a/format/math.tex
+++ b/format/math.tex
@@ -47,12 +47,7 @@
 % --------- Cleveref -----------
 \usepackage{cleveref}
 \crefname{thm}{Theorem}{Theorems}
-\Crefname{thm}{Theorem}{Theorems}
 \crefname{lem}{Lemma}{Lemmas}
-\Crefname{lem}{Lemma}{Lemmas}
 \crefname{defn}{definition}{definitions}
-\Crefname{defn}{Definition}{Definitions}
 \crefname{rmd}{reminder}{reminders}
-\Crefname{rmd}{Reminder}{Reminders}
 \crefname{clm}{claim}{claims}
-\Crefname{clm}{Claim}{Claims}