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}