diff options
| -rw-r--r-- | definitions.sty | 1 |
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 |