From 8473425e09f546fd9b3cbbed412665bd3a10b866 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Fri, 26 Nov 2021 17:03:13 +0100
Subject: Add claim theorem type

---
 definitions.sty | 1 +
 1 file changed, 1 insertion(+)

diff --git a/definitions.sty b/definitions.sty
index 2bef5e3..829564d 100644
--- a/definitions.sty
+++ b/definitions.sty
@@ -4,6 +4,7 @@
 \newtheorem{problem}[theorem]{Problem}
 \newtheorem{definition}[theorem]{Definition}
 \newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{claim}[theorem]{Claim}
 \newtheorem{observation}[theorem]{Observation}
 
 % #1 (optional): Fixed parameters of the problem
-- 
cgit v1.2.3