diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-26 17:03:13 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-26 17:03:13 +0100 |
| commit | 8473425e09f546fd9b3cbbed412665bd3a10b866 (patch) | |
| tree | 61638ebc5725e969ae255164418cee7d83138ee4 | |
| parent | c43e27dfc3418da034eb0601cbc557d61c4083a2 (diff) | |
Add claim theorem type
| -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 |