m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/definitions.sty
diff options
context:
space:
mode:
Diffstat (limited to 'definitions.sty')
-rw-r--r--definitions.sty1
1 files changed, 1 insertions, 0 deletions
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