summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/projlib/old-modules/PJLthm.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/projlib/old-modules/PJLthm.sty')
-rw-r--r--Master/texmf-dist/tex/latex/projlib/old-modules/PJLthm.sty2019
1 files changed, 2019 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/projlib/old-modules/PJLthm.sty b/Master/texmf-dist/tex/latex/projlib/old-modules/PJLthm.sty
new file mode 100644
index 00000000000..4e6d00d4d28
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/projlib/old-modules/PJLthm.sty
@@ -0,0 +1,2019 @@
+%%
+%% This is file `PJLthm.sty',
+%% generated with the docstrip utility.
+
+%% Copyright (C) 2021 by Jinwen XU
+%%
+%% This is part of the ProjLib Toolkit.
+%%
+%% This work may be distributed and/or modified under the conditions of the
+%% LaTeX Project Public License, either version 1.3c of this license or (at
+%% your option) any later version. The latest version of this license is in
+%%
+%% http://www.latex-project.org/lppl.txt
+%%
+%% and version 1.3c or later is part of all distributions of LaTeX version
+%% 2005/12/01 or later.
+%%
+\NeedsTeXFormat{LaTeX2e}[2020-10-01]
+\ProvidesPackage{PJLthm}
+ [2021/12/16 Theorem setup and configuration]
+\RequirePackage{kvoptions}
+\RequirePackage{etoolbox}
+\SetupKeyvalOptions{%
+ family = @PJLthm,
+ prefix = @PJLthm@
+}
+\DeclareBoolOption[false]{nothms}
+\DeclareBoolOption[false]{delaythms}
+\DeclareBoolOption[false]{nothmnum}
+\DeclareStringOption{thmnum}[PJL@thmnum@default]
+\DeclareBoolOption[false]{draft}
+\DeclareBoolOption[false]{fast}
+\DeclareBoolOption[true]{regionalref}
+\DeclareBoolOption[false]{originalref}
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
+\ProcessKeyvalOptions*\relax
+\if@PJLthm@originalref
+ \@PJLthm@regionalreffalse
+\fi
+\if@PJLthm@simplename
+ \@PJLthm@complexnamefalse
+\fi
+\if@PJLthm@draft
+ \@PJLthm@fasttrue
+\fi
+\if@PJLthm@fast
+ \@PJLthm@regionalreftrue
+\fi
+
+\@ifclassloaded{beamer}{%
+ \RequirePackage{silence}
+ \WarningFilter{cleveref}{hyperref package loaded with implicit=false option}
+ \@PJLthm@nothmnumtrue%
+ \if@PJLthm@nothms\else%
+ \let\theorem\relax
+ \let\lemma\relax
+ \let\corollary\relax
+ \let\definition\relax
+ \let\fact\relax
+ \let\example\relax
+ \let\problem\relax
+ \fi
+}{}
+
+\RequirePackage{PJLlang}
+\RequirePackage{amsmath,amsthm}
+\RequirePackage{aliascnt}
+\PassOptionsToPackage{nameinlink}{cleveref}
+\RequirePackage{crefthe}
+
+\RequirePackage{xparse}
+\RequirePackage{xstring}
+\NewDocumentCommand{\NameTheorem}{omm}{%
+ \protected@edef\PJLthm@temp{#2}%
+ \expandafter\IfEndWith\expandafter{\PJLthm@temp}{*}{%
+ \expandafter\StrGobbleRight\expandafter{\PJLthm@temp}{1}[\PJLthm@temp]%
+ }{}%
+ \IfSubStr{\detokenize{#3}}{=}{% key-value mode
+ \IfValueTF{#1}{%
+ \CreateTheoremSetKeys{\PJLthm@temp}{#1={#3}}%
+ }{%
+ \CreateTheoremSetKeys{\PJLthm@temp}{#3}%
+ }%
+ }{% simple mode
+ \IfValueTF{#1}{%
+ \expandafter\def\csname\PJLthm@temp name\StrToABBR{#1}\endcsname{#3}%
+ }{%
+ \expandafter\def\csname\PJLthm@temp nameEN\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameFR\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameDE\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameIT\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp namePT\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameBR\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameES\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameCN\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameTC\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameJP\endcsname{#3}%
+ \expandafter\def\csname\PJLthm@temp nameRU\endcsname{#3}%
+ }%
+ }%
+}
+
+\newcommand\PassFirstToSecond[2]{#2{#1}}%
+\NewDocumentCommand{\CreateTheorem}{sm}{%
+ \begingroup
+ \protected@edef\PJLthm@temp{#2}%
+ \expandafter\IfEndWith\expandafter{\PJLthm@temp}{*}{%
+ \expandafter\StrGobbleRight\expandafter{\PJLthm@temp}{1}[\PJLthm@temp]%
+ \PassFirstToSecond{*}%
+ }{%
+ \PassFirstToSecond{}%
+ }%
+ {\expandafter\PassFirstToSecond%
+ \expandafter{\PJLthm@temp}{\endgroup\InnerCreateTheorem{#1}}}%
+}%
+\if@PJLthm@regionalref
+\NewDocumentCommand{\InnerCreateTheorem}{mmmod<>d()g}{%
+ \IfBooleanTF{#1}{%
+ \IfValueTF{#4}
+ {\@firstoftwo}
+ {\IfValueTF{#5}{\@firstoftwo}{\@secondoftwo}}%
+ }{%
+ \IfValueTF{#4}
+ {\IfValueTF{#5}{\@firstoftwo}{\@secondoftwo}}{
+ \@secondoftwo}
+ }%
+ {%
+ \GenericError{}%
+ {\string\CreateTheorem\space syntax error\on@line}{%
+ You cannot call the starred variant with optional argument,\MessageBreak
+ nor call the unstarred variant with several optional arguments.}%
+ {}%
+ }{%
+ \IfValueTF{#6}{%
+ \IfBooleanTF{#1}{%
+ \ifcsmacro{#2#3}%
+ {\renewenvironment{#2#3}{\begin{#6*}}{\end{#6*}}}%
+ {\newenvironment{#2#3}{\begin{#6*}}{\end{#6*}}}%
+ }{%
+ \ifcsmacro{#2#3}%
+ {\renewenvironment{#2#3}{\begin{#6}}{\end{#6}}}%
+ {\newenvironment{#2#3}{\begin{#6}}{\end{#6}}}%
+ }
+ }{%
+ \IfBooleanTF{#1}{%
+ \newtheorem*{#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}
+ }{%
+ \IfValueTF{#5}{%
+ \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}[#5]%
+ \newaliascnt{#2#3}{PJL#2#3}%
+ }{%
+ \IfValueTF{#4}{%
+ \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+ }{%
+ \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+ \newaliascnt{#2#3}{PJL#2#3}%
+ }%
+ }%
+ \ifcsname cref@PJL#2#3@name\endcsname\else%
+ \crefname{PJL#2#3}%
+ {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+ {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+ \fi%
+ \ifcsname Cref@PJL#2#3@name\endcsname\else%
+ \Crefname{PJL#2#3}%
+ {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+ {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+ \fi%
+ \NewDocumentEnvironment{#2#3}{}
+ {\begin{PJL#2#3}}
+ {\end{PJL#2#3}}
+ }%
+ }%
+ }%
+ \IfValueTF{#7}{%
+ \NameTheorem{#2}{#7}%
+ }{}%
+}%
+\else
+\NewDocumentCommand{\InnerCreateTheorem}{mmmod<>d()g}{%
+ \IfBooleanTF{#1}{%
+ \IfValueTF{#4}
+ {\@firstoftwo}
+ {\IfValueTF{#5}{\@firstoftwo}{\@secondoftwo}}%
+ }{%
+ \IfValueTF{#4}
+ {\IfValueTF{#5}{\@firstoftwo}{\@secondoftwo}}{
+ \@secondoftwo}
+ }%
+ {%
+ \GenericError{}%
+ {\string\CreateTheorem\space syntax error\on@line}{%
+ You cannot call the starred variant with optional argument,\MessageBreak
+ nor call the unstarred variant with several optional arguments.}%
+ {%
+ Allowed usage:\MessageBreak\MessageBreak
+ \CreateTheorem*{(name of environment)}\MessageBreak
+ \CreateTheorem{(name of environment)}\MessageBreak
+ \CreateTheorem{(name of environment)}[(numbered like)]\MessageBreak
+ \CreateTheorem{(name of environment)}<(numbered within)>\MessageBreak
+ \CreateTheorem{(name of environment)}((existed environment))\MessageBreak
+ }%
+ }{%
+ \IfValueTF{#6}{%
+ \IfBooleanTF{#1}{%
+ \ifcsmacro{#2#3}%
+ {\renewenvironment{#2#3}{\begin{#6*}}{\end{#6*}}}%
+ {\newenvironment{#2#3}{\begin{#6*}}{\end{#6*}}}%
+ }{%
+ \ifcsmacro{#2#3}%
+ {\renewenvironment{#2#3}{\begin{#6}}{\end{#6}}}%
+ {\newenvironment{#2#3}{\begin{#6}}{\end{#6}}}%
+ }
+ }{%
+ \IfBooleanTF{#1}{%
+ \if@PJLlang@enable@EN\expandafter\PassFirstToSecond\expandafter{\csname#2nameEN\endcsname}{\newtheorem*{#2EN#3}}\fi%
+ \if@PJLlang@enable@FR\expandafter\PassFirstToSecond\expandafter{\csname#2nameFR\endcsname}{\newtheorem*{#2FR#3}}\fi%
+ \if@PJLlang@enable@DE\expandafter\PassFirstToSecond\expandafter{\csname#2nameDE\endcsname}{\newtheorem*{#2DE#3}}\fi%
+ \if@PJLlang@enable@IT\expandafter\PassFirstToSecond\expandafter{\csname#2nameIT\endcsname}{\newtheorem*{#2IT#3}}\fi%
+ \if@PJLlang@enable@PT\expandafter\PassFirstToSecond\expandafter{\csname#2namePT\endcsname}{\newtheorem*{#2PT#3}}\fi%
+ \if@PJLlang@enable@BR\expandafter\PassFirstToSecond\expandafter{\csname#2nameBR\endcsname}{\newtheorem*{#2BR#3}}\fi%
+ \if@PJLlang@enable@ES\expandafter\PassFirstToSecond\expandafter{\csname#2nameES\endcsname}{\newtheorem*{#2ES#3}}\fi%
+ \if@PJLlang@enable@CN\expandafter\PassFirstToSecond\expandafter{\csname#2nameCN\endcsname}{\newtheorem*{#2CN#3}}\fi%
+ \if@PJLlang@enable@TC\expandafter\PassFirstToSecond\expandafter{\csname#2nameTC\endcsname}{\newtheorem*{#2TC#3}}\fi%
+ \if@PJLlang@enable@JP\expandafter\PassFirstToSecond\expandafter{\csname#2nameJP\endcsname}{\newtheorem*{#2JP#3}}\fi%
+ \if@PJLlang@enable@RU\expandafter\PassFirstToSecond\expandafter{\csname#2nameRU\endcsname}{\newtheorem*{#2RU#3}}\fi%
+ }{%
+ \IfValueTF{#5}{%
+ \newcounter{#2#3}[{#5}]%
+ \expandafter\renewcommand\expandafter*%
+ \csname the#2#3\expandafter\endcsname%
+ \expandafter{\csname the#5\endcsname.\arabic{#2#3}}%
+ }{%
+ \IfValueTF{#4}
+ {\newaliascnt{#2#3}{#4}}
+ {\newcounter{#2#3}}%
+ }%
+ %---------------------------------------------------------------
+ \if@PJLlang@enable@EN\CreateTheoremNumberedLikeAliasCounter{#2}{EN}{#3}\fi%
+ \if@PJLlang@enable@FR\CreateTheoremNumberedLikeAliasCounter{#2}{FR}{#3}\fi%
+ \if@PJLlang@enable@DE\CreateTheoremNumberedLikeAliasCounter{#2}{DE}{#3}\fi%
+ \if@PJLlang@enable@IT\CreateTheoremNumberedLikeAliasCounter{#2}{IT}{#3}\fi%
+ \if@PJLlang@enable@PT\CreateTheoremNumberedLikeAliasCounter{#2}{PT}{#3}\fi%
+ \if@PJLlang@enable@BR\CreateTheoremNumberedLikeAliasCounter{#2}{BR}{#3}\fi%
+ \if@PJLlang@enable@ES\CreateTheoremNumberedLikeAliasCounter{#2}{ES}{#3}\fi%
+ \if@PJLlang@enable@CN\CreateTheoremNumberedLikeAliasCounter{#2}{CN}{#3}\fi%
+ \if@PJLlang@enable@TC\CreateTheoremNumberedLikeAliasCounter{#2}{TC}{#3}\fi%
+ \if@PJLlang@enable@JP\CreateTheoremNumberedLikeAliasCounter{#2}{JP}{#3}\fi%
+ \if@PJLlang@enable@RU\CreateTheoremNumberedLikeAliasCounter{#2}{RU}{#3}\fi%
+ %---------------------------------------------------------------
+ }%
+ \NewDocumentEnvironment{#2#3}{}
+ {\csname#2\csname\languagename ABBR\endcsname#3\endcsname}%
+ {\csname end#2\csname\languagename ABBR\endcsname#3\endcsname}%
+ }%
+ }%
+ \IfValueTF{#7}{%
+ \NameTheorem{#2}{#7}%
+ }{}%
+}%
+\NewDocumentCommand{\CreateTheoremNumberedLikeAliasCounter}{mmm}{%
+ \newaliascnt{#1#2#3}{#1#3}%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}{\newtheorem{#1#2#3}[{#1#2#3}]}%
+ \aliascntresetthe{#1#2#3}%
+ \ifcsname cref@#1#2#3@name\endcsname\else%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {\crefname{#1#2#3}}%
+ }%
+ \fi%
+ \ifcsname Cref@#1#2#3@name\endcsname\else%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {%
+ \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+ {\Crefname{#1#2#3}}%
+ }%
+ \fi%
+}%
+\fi
+
+\ExplSyntaxOn
+
+\cs_new:Nn \PJLthm_exchange_i_iii_ii:nnn { #1 {#3} {#2} }
+\cs_new:Nn \__PJLthm_languageprefix: {}
+\cs_new:Nn \__PJLthm_countername: {}
+
+\msg_new:nnnn {PJLthm}
+ {Undefined Language Dependent Specification Class}
+ {\token_to_str:N \CreateTheorem :\ Value\ `\tl_to_str:n{#2}'\ for\ invalid\ key\ `#1'.}
+ {Providing\ Language-dependent\ specifications\ for\ element\ `#1'\ is\ currently\ not\ implemented.}
+
+
+\NewDocumentCommand \CreateTheoremSetKeys { mm } {
+ \cs_set:Nn \__PJLthm_countername: {#1}
+ \keyval_parse:nnn { \PJLthm_exchange_i_iii_ii:nnn { \PJLthm_setlanguagespecificparameters:nn } {} }
+ { \PJLthm_setlanguagespecificparameters:nn }
+ { #2 }
+}
+
+\cs_new_protected:Nn \PJLthm_setlanguagespecificparameters:nn {
+ \cs_set:Nx \__PJLthm_languageprefix: {\StrToABBR{#1}}
+ \exp_args:No \tl_if_empty:nTF {\__PJLthm_languageprefix:}
+ { \msg_error:nn { PJLthm }
+ { No~language~"\exp_not:n{#1}"~defined }
+ }%
+ {%
+ \keys_set:nn { PJLthm } { #2 }
+ }%
+}%
+
+\keys_define:nn { PJLthm } {
+ crefname.code:n = \cs_if_exist:NTF \crefname {
+ \ifbool{@PJLthm@regionalref}{
+ \exp_args:Nx \PJLthm@setcrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+ \exp_args:Nx \PJLthm@setcrefname{PJL\__PJLthm_countername: }
+ }{
+ \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+ }
+ }{},
+ crefname.value_required:n = true,
+ Crefname.code:n = \cs_if_exist:NTF \Crefname {
+ \ifbool{@PJLthm@regionalref}{
+ \exp_args:Nx \PJLthm@setCrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+ \exp_args:Nx \PJLthm@setCrefname{PJL\__PJLthm_countername: }
+ }{
+ \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+ }
+ }{},
+ Crefname.value_required:n = true,
+ name.code:n = \exp_args:Nx \cs_set:cpn {\__PJLthm_countername: name \__PJLthm_languageprefix:} {#1},
+ name.value_required:n = true,
+ autorefname.code:n = \exp_args:Nx \cs_set:cpn {\__PJLthm_countername: \__PJLthm_languageprefix: autorefname} {#1},
+ autorefname.value_required:n = true,
+ theoremheading.code:n= \exp_args:Nx \cs_set:cpn {\__PJLthm_countername: \__PJLthm_languageprefix: heading} {#1},
+ theoremheading.value_required:n = true,
+ the.code:n= \exp_args:Nx \cs_set:cpn {the \__PJLthm_countername: \__PJLthm_languageprefix: } {#1},
+ the.value_required:n = true,
+ %
+ % Define keys for more Language Dependent Specification Classes.
+ %
+ unknown.code:n = \msg_error:nnxx {PJLthm}
+ {Undefined Language Dependent Specification Class}
+ {\exp_args:No \exp_not:n \l_keys_key_str}
+ {\exp_not:n{#1}},
+}
+
+\ExplSyntaxOff
+
+\newcommand{\PJLthm@setcrefinnername}[3]{%
+ \expandafter\def\csname PJLthm@cref@#1@name\endcsname{#2}%
+ \expandafter\def\csname PJLthm@cref@#1@name@plural\endcsname{#3}%
+}
+\newcommand{\PJLthm@setCrefinnername}[3]{%
+ \expandafter\def\csname PJLthm@Cref@#1@name\endcsname{#2}%
+ \expandafter\def\csname PJLthm@Cref@#1@name@plural\endcsname{#3}%
+}
+
+\newcommand{\PJLthm@setcrefname}[1]{%
+ \crefname{#1}%
+ {\csname PJLthm@cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+ {\csname PJLthm@cref@#1\csname\languagename ABBR\endcsname @name@plural\endcsname}%
+}
+\newcommand{\PJLthm@setCrefname}[1]{%
+ \Crefname{#1}%
+ {\csname PJLthm@Cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+ {\csname PJLthm@Cref@#1\csname\languagename ABBR\endcsname @name@plural\endcsname}%
+}
+
+\ifbool{@PJLthm@complexname}{
+ \NameTheorem{theorem}{
+ EN = {
+ name = {Theorem},
+ crefname = {theorem}{theorems},
+ Crefname = {Theorem}{Theorems},
+ },
+ FR = {
+ name = {Théorème},
+ crefname = {\crefthemark{le} théorème}{\crefthemark{les} théorèmes},
+ Crefname = {Le théorème}{Les théorèmes},
+ },
+ DE = {
+ name = {Satz},
+ crefname = {Satz}{Sätze},
+ Crefname = {Satz}{Sätze},
+ },
+ IT = {
+ name = {Teorema},
+ crefname = {\crefthemark{il} teorema}{\crefthemark{i} teoremi},
+ Crefname = {Il teorema}{I teoremi},
+ },
+ PT = {
+ name = {Teorema},
+ crefname = {\crefthemark{o} teorema}{\crefthemark{os} teoremas},
+ Crefname = {O teorema}{Os teoremas},
+ },
+ BR = {
+ name = {Teorema},
+ crefname = {\crefthemark{o} teorema}{\crefthemark{os} teoremas},
+ Crefname = {O teorema}{Os teoremas},
+ },
+ ES = {
+ name = {Teorema},
+ crefname = {\crefthemark{el} teorema}{los teoremas},
+ Crefname = {El teorema}{Los teoremas},
+ },
+ CN = {
+ name = {定理},
+ crefname = {定理}{定理},
+ Crefname = {定理}{定理},
+ },
+ TC = {
+ name = {定理},
+ crefname = {定理}{定理},
+ Crefname = {定理}{定理},
+ },
+ JP = {
+ name = {定理},
+ crefname = {定理}{定理},
+ Crefname = {定理}{定理},
+ },
+ RU = {
+ name = {Теорема},
+ crefname = {теорема}{теоремы},
+ Crefname = {Теорема}{Теоремы},
+ },
+ }
+ \NameTheorem{lemma}{
+ EN = {
+ name = {Lemma},
+ crefname = {lemma}{Lemmas},
+ Crefname = {Lemma}{Lemmas},
+ },
+ FR = {
+ name = {Lemme},
+ crefname = {\crefthemark{le} lemme}{\crefthemark{les} lemmes},
+ Crefname = {Le lemme}{Les lemmes},
+ },
+ DE = {
+ name = {Lemma},
+ crefname = {Lemma}{Lemmata},
+ Crefname = {Lemma}{Lemmata},
+ },
+ IT = {
+ name = {Lemma},
+ crefname = {\crefthemark{il} lemma}{\crefthemark{i} lemmi},
+ Crefname = {Il lemma}{I lemmi},
+ },
+ PT = {
+ name = {Lema},
+ crefname = {\crefthemark{o} lema}{\crefthemark{os} lemas},
+ Crefname = {O lema}{Os lemas},
+ },
+ BR = {
+ name = {Lema},
+ crefname = {\crefthemark{o} lema}{\crefthemark{os} lemas},
+ Crefname = {O lema}{Os lemas},
+ },
+ ES = {
+ name = {Lema},
+ crefname = {\crefthemark{el} lema}{las lemas},
+ Crefname = {El lema}{Las lemas},
+ },
+ CN = {
+ name = {引理},
+ crefname = {引理}{引理},
+ Crefname = {引理}{引理},
+ },
+ TC = {
+ name = {引理},
+ crefname = {引理}{引理},
+ Crefname = {引理}{引理},
+ },
+ JP = {
+ name = {補題},
+ crefname = {補題}{補題},
+ Crefname = {補題}{補題},
+ },
+ RU = {
+ name = {Лемма},
+ crefname = {лемма}{леммы},
+ Crefname = {Лемма}{Леммы},
+ },
+ }
+ \NameTheorem{proposition}{
+ EN = {
+ name = {Proposition},
+ crefname = {proposition}{propositions},
+ Crefname = {Proposition}{Propositions},
+ },
+ FR = {
+ name = {Proposition},
+ crefname = {\crefthemark{la} proposition}{\crefthemark{les} propositions},
+ Crefname = {La proposition}{Les propositions},
+ },
+ DE = {
+ name = {Proposition},
+ crefname = {Proposition}{Propositionen},
+ Crefname = {Proposition}{Propositionen},
+ },
+ IT = {
+ name = {Proposizione},
+ crefname = {\crefthemark{la} proposizione}{\crefthemark{le} proposte},
+ Crefname = {La proposizione}{Le proposte},
+ },
+ PT = {
+ name = {Proposição},
+ crefname = {\crefthemark{a} proposição}{\crefthemark{as} proposições},
+ Crefname = {A proposição}{As proposições},
+ },
+ BR = {
+ name = {Proposição},
+ crefname = {\crefthemark{a} proposição}{\crefthemark{as} proposições},
+ Crefname = {A proposição}{As proposições},
+ },
+ ES = {
+ name = {Proposición},
+ crefname = {la proposición}{las proposiciones},
+ Crefname = {La proposición}{Las proposiciones},
+ },
+ CN = {
+ name = {命题},
+ crefname = {命题}{命题},
+ Crefname = {命题}{命题},
+ },
+ TC = {
+ name = {命題},
+ crefname = {命題}{命題},
+ Crefname = {命題}{命題},
+ },
+ JP = {
+ name = {命題},
+ crefname = {命題}{命題},
+ Crefname = {命題}{命題},
+ },
+ RU = {
+ name = {Предложение},
+ crefname = {предложение}{предложения},
+ Crefname = {Предложение}{Предложения},
+ },
+ }
+ \NameTheorem{corollary}{
+ EN = {
+ name = {Corollary},
+ crefname = {corollary}{corollaries},
+ Crefname = {Corollary}{Corollaries},
+ },
+ FR = {
+ name = {Corollaire},
+ crefname = {\crefthemark{le} corollaire}{\crefthemark{les} corollaires},
+ Crefname = {Le corollaire}{Les corollaires},
+ },
+ DE = {
+ name = {Korollar},
+ crefname = {Korollar}{Korollare},
+ Crefname = {Korollar}{Korollare},
+ },
+ IT = {
+ name = {Corollario},
+ crefname = {\crefthemark{il} corollario}{\crefthemark{i} corollari},
+ Crefname = {Il corollario}{I corollari},
+ },
+ PT = {
+ name = {Corolário},
+ crefname = {\crefthemark{o} corolário}{\crefthemark{os} corolários},
+ Crefname = {O corolário}{Os corolários},
+ },
+ BR = {
+ name = {Corolário},
+ crefname = {\crefthemark{o} corolário}{\crefthemark{os} corolários},
+ Crefname = {O corolário}{Os corolários},
+ },
+ ES = {
+ name = {Corolario},
+ crefname = {\crefthemark{el} corolario}{los corolarios},
+ Crefname = {El corolario}{Los corolarios},
+ },
+ CN = {
+ name = {推论},
+ crefname = {推论}{推论},
+ Crefname = {推论}{推论},
+ },
+ TC = {
+ name = {推論},
+ crefname = {推論}{推論},
+ Crefname = {推論}{推論},
+ },
+ JP = {
+ name = {系},
+ crefname = {系}{系},
+ Crefname = {系}{系},
+ },
+ RU = {
+ name = {Следствие},
+ crefname = {следствие}{следствия},
+ Crefname = {Следствие}{Следствия},
+ },
+ }
+ \NameTheorem{property}{
+ EN = {
+ name = {Property},
+ crefname = {property}{properties},
+ Crefname = {Property}{Properties},
+ },
+ FR = {
+ name = {Propriété},
+ crefname = {\crefthemark{la} propriété}{\crefthemark{les} propriétés},
+ Crefname = {La propriété}{Les propriétés},
+ },
+ DE = {
+ name = {Eigenschaft},
+ crefname = {Eigenschaft}{Eigenschaften},
+ Crefname = {Eigenschaft}{Eigenschaften},
+ },
+ IT = {
+ name = {Proprietà},
+ crefname = {\crefthemark{la} proprietà}{\crefthemark{le} proprietà},
+ Crefname = {La proprietà}{Le proprietà},
+ },
+ PT = {
+ name = {Propriedade},
+ crefname = {\crefthemark{a} propriedade}{\crefthemark{as} propriedades},
+ Crefname = {A propriedade}{As propriedades},
+ },
+ BR = {
+ name = {Propriedade},
+ crefname = {\crefthemark{a} propriedade}{\crefthemark{as} propriedades},
+ Crefname = {A propriedade}{As propriedades},
+ },
+ ES = {
+ name = {Propiedad},
+ crefname = {la propiedad}{las propiedades},
+ Crefname = {La propiedad}{Las propiedades},
+ },
+ CN = {
+ name = {性质},
+ crefname = {性质}{性质},
+ Crefname = {性质}{性质},
+ },
+ TC = {
+ name = {性質},
+ crefname = {性質}{性質},
+ Crefname = {性質}{性質},
+ },
+ JP = {
+ name = {性質},
+ crefname = {性質}{性質},
+ Crefname = {性質}{性質},
+ },
+ RU = {
+ name = {Имущество},
+ crefname = {имущество}{имущества},
+ Crefname = {Имущество}{Имущества},
+ },
+ }
+ \NameTheorem{fact}{
+ EN = {
+ name = {Fact},
+ crefname = {fact}{facts},
+ Crefname = {Fact}{Facts},
+ },
+ FR = {
+ name = {Fait},
+ crefname = {\crefthemark{le} fait}{\crefthemark{les} faits},
+ Crefname = {Le fait}{Les faits},
+ },
+ DE = {
+ name = {Fakt},
+ crefname = {Fakt}{Fakten},
+ Crefname = {Fakt}{Fakten},
+ },
+ IT = {
+ name = {Fatto},
+ crefname = {\crefthemark{il} fatto}{\crefthemark{i} fatti},
+ Crefname = {Il fatto}{I fatti},
+ },
+ PT = {
+ name = {Facto},
+ crefname = {\crefthemark{o} facto}{\crefthemark{os} factos},
+ Crefname = {O facto}{Os factos},
+ },
+ BR = {
+ name = {Fato},
+ crefname = {\crefthemark{o} fato}{\crefthemark{os} fatos},
+ Crefname = {O fato}{Os fatos},
+ },
+ ES = {
+ name = {Hecho},
+ crefname = {\crefthemark{el} hecho}{los hechos},
+ Crefname = {El hecho}{Los hechos},
+ },
+ CN = {
+ name = {事实},
+ crefname = {事实}{事实},
+ Crefname = {事实}{事实},
+ },
+ TC = {
+ name = {事實},
+ crefname = {事實}{事實},
+ Crefname = {事實}{事實},
+ },
+ JP = {
+ name = {事実},
+ crefname = {事実}{事実},
+ Crefname = {事実}{事実},
+ },
+ RU = {
+ name = {Факт},
+ crefname = {факт}{факты},
+ Crefname = {Факт}{Факты},
+ },
+ }
+ \NameTheorem{conjecture}{
+ EN = {
+ name = {Conjecture},
+ crefname = {conjecture}{conjectures},
+ Crefname = {Conjecture}{Conjectures},
+ },
+ FR = {
+ name = {Conjecture},
+ crefname = {\crefthemark{la} conjecture}{\crefthemark{les} conjectures},
+ Crefname = {La conjecture}{Les conjectures},
+ },
+ DE = {
+ name = {Vermutung},
+ crefname = {Vermutung}{Vermutungen},
+ Crefname = {Vermutung}{Vermutungen},
+ },
+ IT = {
+ name = {Congettura},
+ crefname = {\crefthemark{la} congettura}{\crefthemark{le} congetture},
+ Crefname = {La congettura}{Le congetture},
+ },
+ PT = {
+ name = {Conjetura},
+ crefname = {\crefthemark{a} conjetura}{\crefthemark{as} conjeturas},
+ Crefname = {A conjetura}{As conjeturas},
+ },
+ BR = {
+ name = {Conjectura},
+ crefname = {\crefthemark{a} conjectura}{\crefthemark{as} conjecturas},
+ Crefname = {A conjectura}{As conjecturas},
+ },
+ ES = {
+ name = {Conjetura},
+ crefname = {la conjetura}{las conjeturas},
+ Crefname = {La conjetura}{Las conjeturas},
+ },
+ CN = {
+ name = {猜想},
+ crefname = {猜想}{猜想},
+ Crefname = {猜想}{猜想},
+ },
+ TC = {
+ name = {猜想},
+ crefname = {猜想}{猜想},
+ Crefname = {猜想}{猜想},
+ },
+ JP = {
+ name = {予想},
+ crefname = {予想}{予想},
+ Crefname = {予想}{予想},
+ },
+ RU = {
+ name = {Гипотеза},
+ crefname = {гипотеза}{гипотезы},
+ Crefname = {Гипотеза}{Гипотезы},
+ },
+ }
+ \NameTheorem{definition}{
+ EN = {
+ name = {Definition},
+ crefname = {definition}{definitions},
+ Crefname = {Definition}{Definitions},
+ },
+ FR = {
+ name = {Définition},
+ crefname = {\crefthemark{la} définition}{\crefthemark{les} définitions},
+ Crefname = {La définition}{Les définitions},
+ },
+ DE = {
+ name = {Definition},
+ crefname = {Definition}{Definitionen},
+ Crefname = {Definition}{Definitionen},
+ },
+ IT = {
+ name = {Definizione},
+ crefname = {\crefthemark{la} definizione}{\crefthemark{le} definizioni},
+ Crefname = {La definizione}{Le definizioni},
+ },
+ PT = {
+ name = {Definição},
+ crefname = {\crefthemark{a} definição}{\crefthemark{as} definições},
+ Crefname = {A definição}{As definições},
+ },
+ BR = {
+ name = {Definição},
+ crefname = {\crefthemark{a} definição}{\crefthemark{as} definições},
+ Crefname = {A definição}{As definições},
+ },
+ ES = {
+ name = {Definición},
+ crefname = {la definición}{las definiciones},
+ Crefname = {La definición}{Las definiciones},
+ },
+ CN = {
+ name = {定义},
+ crefname = {定义}{定义},
+ Crefname = {定义}{定义},
+ },
+ TC = {
+ name = {定義},
+ crefname = {定義}{定義},
+ Crefname = {定義}{定義},
+ },
+ JP = {
+ name = {定義},
+ crefname = {定義}{定義},
+ Crefname = {定義}{定義},
+ },
+ RU = {
+ name = {Определение},
+ crefname = {определение}{определения},
+ Crefname = {Определение}{Определения},
+ },
+ }
+ \NameTheorem{axiom}{
+ EN = {
+ name = {Axiom},
+ crefname = {axiom}{axioms},
+ Crefname = {Axiom}{Axioms},
+ },
+ FR = {
+ name = {Axiome},
+ crefname = {\crefthemark{l'}axiome}{\crefthemark{les} axiomes},
+ Crefname = {L'axiome}{Les axiomes},
+ },
+ DE = {
+ name = {Axiom},
+ crefname = {Axiom}{Axiome},
+ Crefname = {Axiom}{Axiome},
+ },
+ IT = {
+ name = {Assioma},
+ crefname = {\crefthemark{l'}assioma}{\crefthemark{gli} assiomi},
+ Crefname = {L'assioma}{Gli assiomi},
+ },
+ PT = {
+ name = {Axioma},
+ crefname = {\crefthemark{o} axioma}{\crefthemark{os} axiomas},
+ Crefname = {O axioma}{Os axiomas},
+ },
+ BR = {
+ name = {Axioma},
+ crefname = {\crefthemark{o} axioma}{\crefthemark{os} axiomas},
+ Crefname = {O axioma}{Os axiomas},
+ },
+ ES = {
+ name = {Axioma},
+ crefname = {\crefthemark{el} axioma}{los axiomas},
+ Crefname = {El axioma}{Los axiomas},
+ },
+ CN = {
+ name = {公理},
+ crefname = {公理}{公理},
+ Crefname = {公理}{公理},
+ },
+ TC = {
+ name = {公理},
+ crefname = {公理}{公理},
+ Crefname = {公理}{公理},
+ },
+ JP = {
+ name = {公理},
+ crefname = {公理}{公理},
+ Crefname = {公理}{公理},
+ },
+ RU = {
+ name = {Аксиома},
+ crefname = {аксиома}{аксиомы},
+ Crefname = {Аксиома}{Аксиомы},
+ },
+ }
+ \NameTheorem{assumption}{
+ EN = {
+ name = {Assumption},
+ crefname = {assumption}{assumptions},
+ Crefname = {Assumption}{Assumptions},
+ },
+ FR = {
+ name = {Supposition},
+ crefname = {\crefthemark{la} supposition}{\crefthemark{les} suppositions},
+ Crefname = {La supposition}{Les suppositions},
+ },
+ DE = {
+ name = {Annahme},
+ crefname = {Annahme}{Annahmen},
+ Crefname = {Annahme}{Annahmen},
+ },
+ IT = {
+ name = {Supposizione},
+ crefname = {\crefthemark{la} supposizione}{\crefthemark{le} supposizioni},
+ Crefname = {La supposizione}{Le supposizioni},
+ },
+ PT = {
+ name = {Suposição},
+ crefname = {\crefthemark{a} suposição}{\crefthemark{as} suposições},
+ Crefname = {A suposição}{As suposições},
+ },
+ BR = {
+ name = {Suposição},
+ crefname = {\crefthemark{a} suposição}{\crefthemark{as} suposições},
+ Crefname = {A suposição}{As suposições},
+ },
+ ES = {
+ name = {Suposición},
+ crefname = {la suposición}{las suposiciones},
+ Crefname = {La suposición}{Las suposiciones},
+ },
+ CN = {
+ name = {假定},
+ crefname = {假定}{假定},
+ Crefname = {假定}{假定},
+ },
+ TC = {
+ name = {假定},
+ crefname = {假定}{假定},
+ Crefname = {假定}{假定},
+ },
+ JP = {
+ name = {仮定},
+ crefname = {仮定}{仮定},
+ Crefname = {仮定}{仮定},
+ },
+ RU = {
+ name = {Предположение},
+ crefname = {предположение}{предположения},
+ Crefname = {Предположение}{Предположения},
+ },
+ }
+ \NameTheorem{convention}{
+ EN = {
+ name = {Convention},
+ crefname = {convention}{conventions},
+ Crefname = {Convention}{Conventions},
+ },
+ FR = {
+ name = {Convention},
+ crefname = {\crefthemark{la} convention}{\crefthemark{les} conventions},
+ Crefname = {La convention}{Les conventions},
+ },
+ DE = {
+ name = {Konvention},
+ crefname = {Konvention}{Konventionen},
+ Crefname = {Konvention}{Konventionen},
+ },
+ IT = {
+ name = {Convenzione},
+ crefname = {\crefthemark{la} convenzione}{\crefthemark{le} convenzioni},
+ Crefname = {La convenzione}{Le convenzioni},
+ },
+ PT = {
+ name = {Convenção},
+ crefname = {\crefthemark{a} convenção}{\crefthemark{as} convenções},
+ Crefname = {A convenção}{As convenções},
+ },
+ BR = {
+ name = {Convenção},
+ crefname = {\crefthemark{a} convenção}{\crefthemark{as} convenções},
+ Crefname = {A convenção}{As convenções},
+ },
+ ES = {
+ name = {Convención},
+ crefname = {la convención}{las convenciones},
+ Crefname = {La convención}{Las convenciones},
+ },
+ CN = {
+ name = {约定},
+ crefname = {约定}{约定},
+ Crefname = {约定}{约定},
+ },
+ TC = {
+ name = {約定},
+ crefname = {約定}{約定},
+ Crefname = {約定}{約定},
+ },
+ JP = {
+ name = {慣例},
+ crefname = {慣例}{慣例},
+ Crefname = {慣例}{慣例},
+ },
+ RU = {
+ name = {Конвенция},
+ crefname = {конвенция}{конвенции},
+ Crefname = {Конвенция}{Конвенции},
+ },
+ }
+ \NameTheorem{hypothesis}{
+ EN = {
+ name = {Hypothesis},
+ crefname = {hypothesis}{hypotheses},
+ Crefname = {Hypothesis}{Hypotheses},
+ },
+ FR = {
+ name = {Hypothèse},
+ crefname = {\crefthemark{l'}hypothèse}{\crefthemark{les} hypothèses},
+ Crefname = {L'hypothèse}{Les hypothèses},
+ },
+ DE = {
+ name = {Hypothese},
+ crefname = {Hypothese}{Hypothesen},
+ Crefname = {Hypothese}{Hypothesen},
+ },
+ IT = {
+ name = {Ipotesi},
+ crefname = {\crefthemark{l'}ipotesi}{\crefthemark{le} ipotesi},
+ Crefname = {L'ipotesi}{Le ipotesi},
+ },
+ PT = {
+ name = {Hipótese},
+ crefname = {\crefthemark{a} hipótese}{\crefthemark{as} hipóteses},
+ Crefname = {A hipótese}{As hipóteses},
+ },
+ BR = {
+ name = {Hipótese},
+ crefname = {\crefthemark{a} hipótese}{\crefthemark{as} hipóteses},
+ Crefname = {A hipótese}{As hipóteses},
+ },
+ ES = {
+ name = {Hipótesis},
+ crefname = {la hipótesis}{las hipótesis},
+ Crefname = {La hipótesis}{Las hipótesis},
+ },
+ CN = {
+ name = {假设},
+ crefname = {假设}{假设},
+ Crefname = {假设}{假设},
+ },
+ TC = {
+ name = {假設},
+ crefname = {假設}{假設},
+ Crefname = {假設}{假設},
+ },
+ JP = {
+ name = {仮設},
+ crefname = {仮設}{仮設},
+ Crefname = {仮設}{仮設},
+ },
+ RU = {
+ name = {Гипотеза},
+ crefname = {гипотеза}{гипотезы},
+ Crefname = {Гипотеза}{Гипотезы},
+ },
+ }
+ \NameTheorem{notation}{
+ EN = {
+ name = {Notation},
+ crefname = {notation}{notations},
+ Crefname = {Notation}{Notations},
+ },
+ FR = {
+ name = {Notation},
+ crefname = {\crefthemark{la} notation}{\crefthemark{les} notations},
+ Crefname = {La notation}{Les notations},
+ },
+ DE = {
+ name = {Notation},
+ crefname = {Notation}{Notationen},
+ Crefname = {Notation}{Notationen},
+ },
+ IT = {
+ name = {Notazione},
+ crefname = {\crefthemark{la} notazione}{\crefthemark{le} notazioni},
+ Crefname = {La notazione}{Le notazioni},
+ },
+ PT = {
+ name = {Notação},
+ crefname = {\crefthemark{a} notação}{\crefthemark{as} notações},
+ Crefname = {A notação}{As notações},
+ },
+ BR = {
+ name = {Notação},
+ crefname = {\crefthemark{a} notação}{\crefthemark{as} notações},
+ Crefname = {A notação}{As notações},
+ },
+ ES = {
+ name = {Notación},
+ crefname = {la notación}{las notaciones},
+ Crefname = {La notación}{Las notaciones},
+ },
+ CN = {
+ name = {记号},
+ crefname = {记号}{记号},
+ Crefname = {记号}{记号},
+ },
+ TC = {
+ name = {記號},
+ crefname = {記號}{記號},
+ Crefname = {記號}{記號},
+ },
+ JP = {
+ name = {記法},
+ crefname = {記法}{記法},
+ Crefname = {記法}{記法},
+ },
+ RU = {
+ name = {Нотация},
+ crefname = {нотация}{нотации},
+ Crefname = {Нотация}{Нотации},
+ },
+ }
+ \NameTheorem{example}{
+ EN = {
+ name = {Example},
+ crefname = {example}{examples},
+ Crefname = {Example}{Examples},
+ },
+ FR = {
+ name = {Exemple},
+ crefname = {\crefthemark{l'}example}{\crefthemark{les} examples},
+ Crefname = {L'example}{Les examples},
+ },
+ DE = {
+ name = {Beispiel},
+ crefname = {Beispiel}{Beispiele},
+ Crefname = {Beispiel}{Beispiele},
+ },
+ IT = {
+ name = {Esempio},
+ crefname = {\crefthemark{l'}esempio}{\crefthemark{gli} esempi},
+ Crefname = {L'esempio}{Gli esempi},
+ },
+ PT = {
+ name = {Exemplo},
+ crefname = {\crefthemark{o} exemplo}{\crefthemark{os} exemplos},
+ Crefname = {O exemplo}{Os exemplos},
+ },
+ BR = {
+ name = {Exemplo},
+ crefname = {\crefthemark{o} exemplo}{\crefthemark{os} exemplos},
+ Crefname = {O exemplo}{Os exemplos},
+ },
+ ES = {
+ name = {Ejemplo},
+ crefname = {\crefthemark{el} ejemplo}{los ejemplos},
+ Crefname = {El ejemplo}{Los ejemplos},
+ },
+ CN = {
+ name = {例},
+ crefname = {例}{例},
+ Crefname = {例}{例},
+ },
+ TC = {
+ name = {例},
+ crefname = {例}{例},
+ Crefname = {例}{例},
+ },
+ JP = {
+ name = {例},
+ crefname = {例}{例},
+ Crefname = {例}{例},
+ },
+ RU = {
+ name = {Пример},
+ crefname = {пример}{примеры},
+ Crefname = {Пример}{Примеры},
+ },
+ }
+ \NameTheorem{problem}{
+ EN = {
+ name = {Problem},
+ crefname = {problem}{problems},
+ Crefname = {Problem}{Problems},
+ },
+ FR = {
+ name = {Problème},
+ crefname = {\crefthemark{le} problème}{\crefthemark{les} problèmes},
+ Crefname = {Le problème}{Les problèmes},
+ },
+ DE = {
+ name = {Problem},
+ crefname = {Problem}{Probleme},
+ Crefname = {Problem}{Probleme},
+ },
+ IT = {
+ name = {Problema},
+ crefname = {\crefthemark{il} problema}{\crefthemark{i} problemi},
+ Crefname = {Il problema}{I problemi},
+ },
+ PT = {
+ name = {Problema},
+ crefname = {\crefthemark{o} problema}{\crefthemark{os} problemas},
+ Crefname = {O problema}{Os problemas},
+ },
+ BR = {
+ name = {Problema},
+ crefname = {\crefthemark{o} problema}{\crefthemark{os} problemas},
+ Crefname = {O problema}{Os problemas},
+ },
+ ES = {
+ name = {Problema},
+ crefname = {\crefthemark{el} problema}{los problemas},
+ Crefname = {El problema}{Los problemas},
+ },
+ CN = {
+ name = {问题},
+ crefname = {问题}{问题},
+ Crefname = {问题}{问题},
+ },
+ TC = {
+ name = {問題},
+ crefname = {問題}{問題},
+ Crefname = {問題}{問題},
+ },
+ JP = {
+ name = {問題},
+ crefname = {問題}{問題},
+ Crefname = {問題}{問題},
+ },
+ RU = {
+ name = {Проблема},
+ crefname = {проблема}{проблемы},
+ Crefname = {Проблема}{Проблемы},
+ },
+ }
+ \NameTheorem{question}{
+ EN = {
+ name = {Question},
+ crefname = {question}{questions},
+ Crefname = {Question}{Questions},
+ },
+ FR = {
+ name = {Question},
+ crefname = {\crefthemark{la} question}{\crefthemark{les} questions},
+ Crefname = {La question}{Les questions},
+ },
+ DE = {
+ name = {Frage},
+ crefname = {Frage}{Fragen},
+ Crefname = {Frage}{Fragen},
+ },
+ IT = {
+ name = {Domanda},
+ crefname = {\crefthemark{la} domanda}{\crefthemark{le} domande},
+ Crefname = {La domanda}{Le domande},
+ },
+ PT = {
+ name = {Pergunta},
+ crefname = {\crefthemark{a} pergunta}{\crefthemark{as} perguntas},
+ Crefname = {A pergunta}{As perguntas},
+ },
+ BR = {
+ name = {Pergunta},
+ crefname = {\crefthemark{a} pergunta}{\crefthemark{as} perguntas},
+ Crefname = {A pergunta}{As perguntas},
+ },
+ ES = {
+ name = {Pregunta},
+ crefname = {la pregunta}{las preguntas},
+ Crefname = {La pregunta}{Las preguntas},
+ },
+ CN = {
+ name = {问题},
+ crefname = {问题}{问题},
+ Crefname = {问题}{问题},
+ },
+ TC = {
+ name = {問題},
+ crefname = {問題}{問題},
+ Crefname = {問題}{問題},
+ },
+ JP = {
+ name = {問題},
+ crefname = {問題}{問題},
+ Crefname = {問題}{問題},
+ },
+ RU = {
+ name = {Вопрос},
+ crefname = {вопрос}{вопросы},
+ Crefname = {Вопрос}{Вопросы},
+ },
+ }
+ \NameTheorem{exercise}{
+ EN = {
+ name = {Exercise},
+ crefname = {exercise}{exercises},
+ Crefname = {Exercise}{Exercises},
+ },
+ FR = {
+ name = {Exercice},
+ crefname = {\crefthemark{l'}exercice}{\crefthemark{les} exercices},
+ Crefname = {L'exercice}{Les exercices},
+ },
+ DE = {
+ name = {Übung},
+ crefname = {Übung}{Übungen},
+ Crefname = {Übung}{Übungen},
+ },
+ IT = {
+ name = {Esercizio},
+ crefname = {\crefthemark{l'}esercizio}{\crefthemark{gli} esercizi},
+ Crefname = {L'esercizio}{Gli esercizi},
+ },
+ PT = {
+ name = {Exercício},
+ crefname = {\crefthemark{o} exercício}{\crefthemark{os} exercícios},
+ Crefname = {O exercício}{Os exercícios},
+ },
+ BR = {
+ name = {Exercício},
+ crefname = {\crefthemark{o} exercício}{\crefthemark{os} exercícios},
+ Crefname = {O exercício}{Os exercícios},
+ },
+ ES = {
+ name = {Ejercicio},
+ crefname = {\crefthemark{el} ejercicio}{los ejercicios},
+ Crefname = {El ejercicio}{Los ejercicios},
+ },
+ CN = {
+ name = {练习},
+ crefname = {练习}{练习},
+ Crefname = {练习}{练习},
+ },
+ TC = {
+ name = {練習},
+ crefname = {練習}{練習},
+ Crefname = {練習}{練習},
+ },
+ JP = {
+ name = {練習},
+ crefname = {練習}{練習},
+ Crefname = {練習}{練習},
+ },
+ RU = {
+ name = {Упражнение},
+ crefname = {упражнение}{упражнения},
+ Crefname = {Упражнение}{Упражнения},
+ },
+ }
+ \NameTheorem{remark}{
+ EN = {
+ name = {Remark},
+ crefname = {remark}{remarks},
+ Crefname = {Remark}{Remarks},
+ },
+ FR = {
+ name = {Remarque},
+ crefname = {\crefthemark{la} remarque}{\crefthemark{les} remarques},
+ Crefname = {La remarque}{Les remarques},
+ },
+ DE = {
+ name = {Bemerkung},
+ crefname = {Bemerkung}{Bemerkungen},
+ Crefname = {Bemerkung}{Bemerkungen},
+ },
+ IT = {
+ name = {Commento},
+ crefname = {\crefthemark{il} commento}{\crefthemark{i} commenti},
+ Crefname = {Il commento}{I commenti},
+ },
+ PT = {
+ name = {Comentário},
+ crefname = {\crefthemark{o} comentário}{\crefthemark{os} comentários},
+ Crefname = {O comentário}{Os comentários},
+ },
+ BR = {
+ name = {Comentário},
+ crefname = {\crefthemark{o} comentário}{\crefthemark{os} comentários},
+ Crefname = {O comentário}{Os comentários},
+ },
+ ES = {
+ name = {Comentario},
+ crefname = {\crefthemark{el} comentario}{los comentarios},
+ Crefname = {El comentario}{Los comentarios},
+ },
+ CN = {
+ name = {备注},
+ crefname = {备注}{备注},
+ Crefname = {备注}{备注},
+ },
+ TC = {
+ name = {備註},
+ crefname = {備註}{備註},
+ Crefname = {備註}{備註},
+ },
+ JP = {
+ name = {注釈},
+ crefname = {注釈}{注釈},
+ Crefname = {注釈}{注釈},
+ },
+ RU = {
+ name = {Замечание},
+ crefname = {замечание}{замечания},
+ Crefname = {Замечание}{Замечания},
+ },
+ }
+ \NameTheorem{observation}{
+ EN = {
+ name = {Observation},
+ crefname = {observation}{observations},
+ Crefname = {Observation}{Observations},
+ },
+ FR = {
+ name = {Observation},
+ crefname = {\crefthemark{la} observation}{\crefthemark{les} observations},
+ Crefname = {La observation}{Les observations},
+ },
+ DE = {
+ name = {Beobachtung},
+ crefname = {Beobachtung}{Beobachtungen},
+ Crefname = {Beobachtung}{Beobachtungen},
+ },
+ IT = {
+ name = {Osservazione},
+ crefname = {\crefthemark{l'}osservazione}{\crefthemark{le} osservazioni},
+ Crefname = {L'osservazione}{Le osservazioni},
+ },
+ PT = {
+ name = {Observação},
+ crefname = {\crefthemark{a} observação}{\crefthemark{as} observações},
+ Crefname = {A observação}{As observações},
+ },
+ BR = {
+ name = {Observação},
+ crefname = {\crefthemark{a} observação}{\crefthemark{as} observações},
+ Crefname = {A observação}{As observações},
+ },
+ ES = {
+ name = {Observación},
+ crefname = {la observación}{las observaciones},
+ Crefname = {La observación}{Las observaciones},
+ },
+ CN = {
+ name = {观察},
+ crefname = {观察}{观察},
+ Crefname = {观察}{观察},
+ },
+ TC = {
+ name = {觀察},
+ crefname = {觀察}{觀察},
+ Crefname = {觀察}{觀察},
+ },
+ JP = {
+ name = {観察},
+ crefname = {観察}{観察},
+ Crefname = {観察}{観察},
+ },
+ RU = {
+ name = {Наблюдение},
+ crefname = {наблюдение}{наблюдения},
+ Crefname = {Наблюдение}{Наблюдения},
+ },
+ }
+ \NameTheorem{definition-proposition}{
+ EN = {
+ name = {\definitionnameEN-\propositionnameEN},
+ crefname = {definition-proposition}{definitions-propositions},
+ Crefname = {Definition-proposition}{Definitions-propositions},
+ },
+ FR = {
+ name = {\definitionnameFR-\propositionnameFR},
+ crefname = {\crefthemark{la} définition-proposition}{\crefthemark{les} définitions-propositions},
+ Crefname = {La définition-proposition}{Les définitions-propositions},
+ },
+ DE = {
+ name = {\definitionnameDE-\propositionnameDE},
+ crefname = {Definition-Proposition}{Definitionen-Propositionen},
+ Crefname = {Definition-Proposition}{Definitionen-Propositionen},
+ },
+ IT = {
+ name = {\definitionnameIT-\propositionnameIT},
+ crefname = {\crefthemark{la} definizione-proposizione}{\crefthemark{le} definizioni-proposte},
+ Crefname = {La definizione-proposizione}{Le definizioni-proposte},
+ },
+ PT = {
+ name = {\definitionnamePT-\propositionnamePT},
+ crefname = {\crefthemark{a} definição-proposição}{\crefthemark{as} definições-proposições},
+ Crefname = {A definição-proposição}{As definições-proposições},
+ },
+ BR = {
+ name = {\definitionnameBR-\propositionnameBR},
+ crefname = {\crefthemark{a} definição-proposição}{\crefthemark{as} definições-proposições},
+ Crefname = {A definição-proposição}{As definições-proposições},
+ },
+ ES = {
+ name = {\definitionnameES-\propositionnameES},
+ crefname = {la definición-proposición}{las definiciones-proposiciones},
+ Crefname = {La definición-proposición}{Las definiciones-proposiciones},
+ },
+ CN = {
+ name = {\definitionnameCN-\propositionnameCN},
+ crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+ Crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+ },
+ TC = {
+ name = {\definitionnameTC-\propositionnameTC},
+ crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+ Crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+ },
+ JP = {
+ name = {\definitionnameJP-\propositionnameJP},
+ crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+ Crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+ },
+ RU = {
+ name = {\definitionnameRU-\propositionnameRU},
+ crefname = {определение-предложение}{определения-предложения},
+ Crefname = {Определение-предложение}{Определения-предложение},
+ },
+ }
+ \NameTheorem{definition-theorem}{
+ EN = {
+ name = {\definitionnameEN-\theoremnameEN},
+ crefname = {definition-theorem}{definitions-theorems},
+ Crefname = {Definition-theorem}{Definitions-theorems},
+ },
+ FR = {
+ name = {\definitionnameFR-\theoremnameFR},
+ crefname = {\crefthemark{la} définition-théorème}{\crefthemark{les} définitions-théorèmes},
+ Crefname = {La définition-théorème}{Les définitions-théorèmes},
+ },
+ DE = {
+ name = {\definitionnameDE-\theoremnameDE},
+ crefname = {Definition-Satz}{Definitionen-Sätze},
+ Crefname = {Definition-Satz}{Definitionen-Sätze},
+ },
+ IT = {
+ name = {\definitionnameIT-\theoremnameIT},
+ crefname = {\crefthemark{la} definizione-teorema}{\crefthemark{le} definizioni-teoremi},
+ Crefname = {La definizione-teorema}{Le definizioni-teoremi},
+ },
+ PT = {
+ name = {\definitionnamePT-\theoremnamePT},
+ crefname = {\crefthemark{a} definição-teorema}{\crefthemark{as} definições-teoremas},
+ Crefname = {A definição-teorema}{As definições-teoremas},
+ },
+ BR = {
+ name = {\definitionnameBR-\theoremnameBR},
+ crefname = {\crefthemark{a} definição-teorema}{\crefthemark{as} definições-teoremas},
+ Crefname = {A definição-teorema}{As definições-teoremas},
+ },
+ ES = {
+ name = {\definitionnameES-\theoremnameES},
+ crefname = {la definición-teorema}{las definiciones-teoremas},
+ Crefname = {La definición-teorema}{Las definiciones-teoremas},
+ },
+ CN = {
+ name = {\definitionnameCN-\theoremnameCN},
+ crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+ Crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+ },
+ TC = {
+ name = {\definitionnameTC-\theoremnameTC},
+ crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+ Crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+ },
+ JP = {
+ name = {\definitionnameJP-\theoremnameJP},
+ crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+ Crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+ },
+ RU = {
+ name = {\definitionnameRU-\theoremnameRU},
+ crefname = {определение-теорема}{определения-теоремы},
+ Crefname = {Определение-теорема}{Определения-теорема},
+ },
+ }
+}{
+ \def\theoremnameEN{{Theorem}}
+ \def\lemmanameEN{{Lemma}}
+ \def\propositionnameEN{{Proposition}}
+ \def\corollarynameEN{{Corollary}}
+ \def\propertynameEN{{Property}}
+ \def\factnameEN{{Fact}}
+ \def\conjecturenameEN{{Conjecture}}
+ \def\definitionnameEN{{Definition}}
+ \def\axiomnameEN{{Axiom}}
+ \def\assumptionnameEN{{Assumption}}
+ \def\conventionnameEN{{Convention}}
+ \def\hypothesisnameEN{{Hypothesis}}
+ \def\notationnameEN{{Notation}}
+ \def\examplenameEN{{Example}}
+ \def\problemnameEN{{Problem}}
+ \def\questionnameEN{{Question}}
+ \def\exercisenameEN{{Exercise}}
+ \def\remarknameEN{{Remark}}
+ \def\observationnameEN{{Observation}}
+ \expandafter\def\csname definition-propositionnameEN\endcsname{\definitionnameEN-\propositionnameEN}
+ \expandafter\def\csname definition-theoremnameEN\endcsname{\definitionnameEN-\theoremnameEN}
+
+ \def\theoremnameFR{{Théorème}}
+ \def\lemmanameFR{{Lemme}}
+ \def\propositionnameFR{{Proposition}}
+ \def\corollarynameFR{{Corollaire}}
+ \def\propertynameFR{{Propriété}}
+ \def\factnameFR{{Fait}}
+ \def\conjecturenameFR{{Conjecture}}
+ \def\definitionnameFR{{Définition}}
+ \def\axiomnameFR{{Axiome}}
+ \def\assumptionnameFR{{Supposition}}
+ \def\conventionnameFR{{Convention}}
+ \def\hypothesisnameFR{{Hypothèse}}
+ \def\notationnameFR{{Notation}}
+ \def\examplenameFR{{Exemple}}
+ \def\problemnameFR{{Problème}}
+ \def\questionnameFR{{Question}}
+ \def\exercisenameFR{{Exercice}}
+ \def\remarknameFR{{Remarque}}
+ \def\observationnameFR{{Observation}}
+ \expandafter\def\csname definition-propositionnameFR\endcsname{\definitionnameFR-\propositionnameFR}
+ \expandafter\def\csname definition-theoremnameFR\endcsname{\definitionnameFR-\theoremnameFR}
+
+ \def\theoremnameDE{{Satz}}
+ \def\lemmanameDE{{Lemma}}
+ \def\propositionnameDE{{Proposition}}
+ \def\corollarynameDE{{Korollar}}
+ \def\propertynameDE{{Eigenschaft}}
+ \def\factnameDE{{Fakt}}
+ \def\conjecturenameDE{{Vermutung}}
+ \def\definitionnameDE{{Definition}}
+ \def\axiomnameDE{{Axiom}}
+ \def\assumptionnameDE{{Annahme}}
+ \def\conventionnameDE{{Konvention}}
+ \def\hypothesisnameDE{{Hypothese}}
+ \def\notationnameDE{{Notation}}
+ \def\examplenameDE{{Beispiel}}
+ \def\problemnameDE{{Problem}}
+ \def\questionnameDE{{Frage}}
+ \def\exercisenameDE{{Übung}}
+ \def\remarknameDE{{Bemerkung}}
+ \def\observationnameDE{{Beobachtung}}
+ \expandafter\def\csname definition-propositionnameDE\endcsname{\definitionnameDE-\propositionnameDE}
+ \expandafter\def\csname definition-theoremnameDE\endcsname{\definitionnameDE-\theoremnameDE}
+
+ \def\theoremnameIT{{Teorema}}
+ \def\lemmanameIT{{Lemma}}
+ \def\propositionnameIT{{Proposizione}}
+ \def\corollarynameIT{{Corollario}}
+ \def\propertynameIT{{Proprietà}}
+ \def\factnameIT{{Fatto}}
+ \def\conjecturenameIT{{Congettura}}
+ \def\definitionnameIT{{Definizione}}
+ \def\axiomnameIT{{Assioma}}
+ \def\assumptionnameIT{{Supposizione}}
+ \def\conventionnameIT{{Convenzione}}
+ \def\hypothesisnameIT{{Ipotesi}}
+ \def\notationnameIT{{Notazione}}
+ \def\examplenameIT{{Esempio}}
+ \def\problemnameIT{{Problema}}
+ \def\questionnameIT{{Domanda}}
+ \def\exercisenameIT{{Esercizio}}
+ \def\remarknameIT{{Commento}}
+ \def\observationnameIT{{Osservazione}}
+ \expandafter\def\csname definition-propositionnameIT\endcsname{\definitionnameIT-\propositionnameIT}
+ \expandafter\def\csname definition-theoremnameIT\endcsname{\definitionnameIT-\theoremnameIT}
+
+ \def\theoremnamePT{{Teorema}}
+ \def\lemmanamePT{{Lema}}
+ \def\propositionnamePT{{Proposição}}
+ \def\corollarynamePT{{Corolário}}
+ \def\propertynamePT{{Propriedade}}
+ \def\factnamePT{{Facto}}
+ \def\conjecturenamePT{{Conjetura}}
+ \def\definitionnamePT{{Definição}}
+ \def\axiomnamePT{{Axioma}}
+ \def\assumptionnamePT{{Suposição}}
+ \def\conventionnamePT{{Convenção}}
+ \def\hypothesisnamePT{{Hipótese}}
+ \def\notationnamePT{{Notação}}
+ \def\examplenamePT{{Exemplo}}
+ \def\problemnamePT{{Problema}}
+ \def\questionnamePT{{Pergunta}}
+ \def\exercisenamePT{{Exercício}}
+ \def\remarknamePT{{Comentário}}
+ \def\observationnamePT{{Observação}}
+ \expandafter\def\csname definition-propositionnamePT\endcsname{\definitionnamePT-\propositionnamePT}
+ \expandafter\def\csname definition-theoremnamePT\endcsname{\definitionnamePT-\theoremnamePT}
+
+ \def\theoremnameBR{{Teorema}}
+ \def\lemmanameBR{{Lema}}
+ \def\propositionnameBR{{Proposição}}
+ \def\corollarynameBR{{Corolário}}
+ \def\propertynameBR{{Propriedade}}
+ \def\factnameBR{{Fato}}
+ \def\conjecturenameBR{{Conjectura}}
+ \def\definitionnameBR{{Definição}}
+ \def\axiomnameBR{{Axioma}}
+ \def\assumptionnameBR{{Suposição}}
+ \def\conventionnameBR{{Convenção}}
+ \def\hypothesisnameBR{{Hipótese}}
+ \def\notationnameBR{{Notação}}
+ \def\examplenameBR{{Exemplo}}
+ \def\problemnameBR{{Problema}}
+ \def\questionnameBR{{Pergunta}}
+ \def\exercisenameBR{{Exercício}}
+ \def\remarknameBR{{Comentário}}
+ \def\observationnameBR{{Observação}}
+ \expandafter\def\csname definition-propositionnameBR\endcsname{\definitionnameBR-\propositionnameBR}
+ \expandafter\def\csname definition-theoremnameBR\endcsname{\definitionnameBR-\theoremnameBR}
+
+ \def\theoremnameES{{Teorema}}
+ \def\lemmanameES{{Lema}}
+ \def\propositionnameES{{Proposición}}
+ \def\corollarynameES{{Corolario}}
+ \def\propertynameES{{Propiedad}}
+ \def\factnameES{{Hecho}}
+ \def\conjecturenameES{{Conjetura}}
+ \def\definitionnameES{{Definición}}
+ \def\axiomnameES{{Axioma}}
+ \def\assumptionnameES{{Suposición}}
+ \def\conventionnameES{{Convención}}
+ \def\hypothesisnameES{{Hipótesis}}
+ \def\notationnameES{{Notación}}
+ \def\examplenameES{{Ejemplo}}
+ \def\problemnameES{{Problema}}
+ \def\questionnameES{{Pregunta}}
+ \def\exercisenameES{{Ejercicio}}
+ \def\remarknameES{{Comentario}}
+ \def\observationnameES{{Observación}}
+ \expandafter\def\csname definition-propositionnameES\endcsname{\definitionnameES-\propositionnameES}
+ \expandafter\def\csname definition-theoremnameES\endcsname{\definitionnameES-\theoremnameES}
+
+ \def\theoremnameCN{{定理}}
+ \def\lemmanameCN{{引理}}
+ \def\propositionnameCN{{命题}}
+ \def\corollarynameCN{{推论}}
+ \def\propertynameCN{{性质}}
+ \def\factnameCN{{事实}}
+ \def\conjecturenameCN{{猜想}}
+ \def\definitionnameCN{{定义}}
+ \def\axiomnameCN{{公理}}
+ \def\assumptionnameCN{{假定}}
+ \def\conventionnameCN{{约定}}
+ \def\hypothesisnameCN{{假设}}
+ \def\notationnameCN{{记号}}
+ \def\examplenameCN{{例}}
+ \def\problemnameCN{{问题}}
+ \def\questionnameCN{{问题}}
+ \def\exercisenameCN{{练习}}
+ \def\remarknameCN{{备注}}
+ \def\observationnameCN{{观察}}
+ \expandafter\def\csname definition-propositionnameCN\endcsname{\definitionnameCN-\propositionnameCN}
+ \expandafter\def\csname definition-theoremnameCN\endcsname{\definitionnameCN-\theoremnameCN}
+
+ \def\theoremnameTC{{定理}}
+ \def\lemmanameTC{{引理}}
+ \def\propositionnameTC{{命題}}
+ \def\corollarynameTC{{推論}}
+ \def\propertynameTC{{性質}}
+ \def\factnameTC{{事實}}
+ \def\conjecturenameTC{{猜想}}
+ \def\definitionnameTC{{定義}}
+ \def\axiomnameTC{{公理}}
+ \def\assumptionnameTC{{假定}}
+ \def\conventionnameTC{{約定}}
+ \def\hypothesisnameTC{{假設}}
+ \def\notationnameTC{{記號}}
+ \def\examplenameTC{{例}}
+ \def\problemnameTC{{問題}}
+ \def\questionnameTC{{問題}}
+ \def\exercisenameTC{{練習}}
+ \def\remarknameTC{{備註}}
+ \def\observationnameTC{{觀察}}
+ \expandafter\def\csname definition-propositionnameTC\endcsname{\definitionnameTC-\propositionnameTC}
+ \expandafter\def\csname definition-theoremnameTC\endcsname{\definitionnameTC-\theoremnameTC}
+
+ \def\theoremnameJP{{定理}}
+ \def\lemmanameJP{{補題}}
+ \def\propositionnameJP{{命題}}
+ \def\corollarynameJP{{系}}
+ \def\propertynameJP{{性質}}
+ \def\factnameJP{{事実}}
+ \def\conjecturenameJP{{予想}}
+ \def\definitionnameJP{{定義}}
+ \def\axiomnameJP{{公理}}
+ \def\assumptionnameJP{{仮定}}
+ \def\conventionnameJP{{慣例}}
+ \def\hypothesisnameJP{{仮設}}
+ \def\notationnameJP{{記法}}
+ \def\examplenameJP{{例}}
+ \def\problemnameJP{{問題}}
+ \def\questionnameJP{{問題}}
+ \def\exercisenameJP{{練習}}
+ \def\remarknameJP{{注釈}}
+ \def\observationnameJP{{観察}}
+ \expandafter\def\csname definition-propositionnameJP\endcsname{\definitionnameJP-\propositionnameJP}
+ \expandafter\def\csname definition-theoremnameJP\endcsname{\definitionnameJP-\theoremnameJP}
+
+ \def\theoremnameRU{{Теорема}} % Теоре́ма
+ \def\lemmanameRU{{Лемма}} % Ле́мма
+ \def\propositionnameRU{{Предложение}} % Предложе́ние
+ \def\corollarynameRU{{Следствие}} % Сле́дствие
+ \def\propertynameRU{{Имущество}} % Иму́щество
+ \def\factnameRU{{Факт}}
+ \def\conjecturenameRU{{Гипотеза}} % Гипо́теза % Конъектура Конъекту́ра
+ \def\definitionnameRU{{Определение}} % Определе́ние
+ \def\axiomnameRU{{Аксиома}} % Аксио́ма
+ \def\assumptionnameRU{{Предположение}} % Предположе́ние
+ \def\conventionnameRU{{Конвенция}} % Конве́нция
+ \def\hypothesisnameRU{{Гипотеза}} % Гипо́теза
+ \def\notationnameRU{{Нотация}} % Нота́ция
+ \def\examplenameRU{{Пример}} % Приме́р
+ \def\problemnameRU{{Проблема}} % Пробле́ма
+ \def\questionnameRU{{Вопрос}} % Вопро́с
+ \def\exercisenameRU{{Упражнение}} % Упражне́ние
+ \def\remarknameRU{{Замечание}} % Замеча́ние
+ \def\observationnameRU{{Наблюдение}} % Наблюде́ние
+ \expandafter\def\csname definition-propositionnameRU\endcsname{\definitionnameRU-\propositionnameRU}
+ \expandafter\def\csname definition-theoremnameRU\endcsname{\definitionnameRU-\theoremnameRU}
+}
+
+\newif\ifPJLthm@IsBook
+\ifdefined\c@chapter\PJLthm@IsBooktrue\else\PJLthm@IsBookfalse\fi
+\ifbool{PJLthm@IsBook}{
+ \newaliascnt{PJLthm@highest}{chapter}
+}{
+ \newaliascnt{PJLthm@highest}{section}
+}
+\NewDocumentCommand{\CreateTheorem@thmnum}{m}{
+ \expandafter\ifstrempty\expandafter{\@PJLthm@thmnum}{
+ \CreateTheorem{#1}<PJLthm@highest>
+ }{
+ \expandafter\ifstrequal\expandafter{\@PJLthm@thmnum}{PJL@thmnum@default}{
+ \CreateTheorem{#1}
+ }{
+ \CreateTheorem{#1}<\@PJLthm@thmnum>
+ }
+ }
+}
+
+\def\PJLthm@definethms{
+\if@PJLthm@nothms\else
+\if@PJLthm@nothmnum
+\CreateTheorem*{theorem}
+\CreateTheorem*{lemma}
+\CreateTheorem*{proposition}
+\CreateTheorem*{corollary}
+\CreateTheorem*{definition-proposition}
+\CreateTheorem*{definition-theorem}
+\CreateTheorem*{property}
+\CreateTheorem*{fact}
+\CreateTheorem*{conjecture}
+\else
+\CreateTheorem@thmnum{theorem}
+\CreateTheorem{lemma}[theorem]
+\CreateTheorem{proposition}[theorem]
+\CreateTheorem{corollary}[theorem]
+\CreateTheorem{definition-proposition}[theorem]
+\CreateTheorem{definition-theorem}[theorem]
+\CreateTheorem{property}[theorem]
+\CreateTheorem{fact}[theorem]
+\CreateTheorem{conjecture}[theorem]
+\fi
+\CreateTheorem*{theorem*}
+\CreateTheorem*{lemma*}
+\CreateTheorem*{proposition*}
+\CreateTheorem*{corollary*}
+\CreateTheorem*{definition-proposition*}
+\CreateTheorem*{definition-theorem*}
+\CreateTheorem*{property*}
+\CreateTheorem*{fact*}
+\CreateTheorem*{conjecture*}
+
+\theoremstyle{definition}
+\if@PJLthm@nothmnum
+\CreateTheorem*{definition}
+\CreateTheorem*{axiom}
+\CreateTheorem*{assumption}
+\CreateTheorem*{convention}
+\CreateTheorem*{hypothesis}
+\CreateTheorem*{notation}
+\CreateTheorem*{example}
+\CreateTheorem*{problem}
+\CreateTheorem*{question}
+\CreateTheorem*{exercise}
+\else
+\CreateTheorem{definition}[theorem]
+\CreateTheorem{axiom}[theorem]
+\CreateTheorem{assumption}[theorem]
+\CreateTheorem{convention}[theorem]
+\CreateTheorem{hypothesis}[theorem]
+\CreateTheorem{notation}[theorem]
+\CreateTheorem{example}[theorem]
+\CreateTheorem{problem}[theorem]
+\CreateTheorem{question}[theorem]
+\CreateTheorem{exercise}[theorem]
+\fi
+\CreateTheorem*{definition*}
+\CreateTheorem*{axiom*}
+\CreateTheorem*{assumption*}
+\CreateTheorem*{convention*}
+\CreateTheorem*{hypothesis*}
+\CreateTheorem*{notation*}
+\CreateTheorem*{example*}
+\CreateTheorem*{problem*}
+\CreateTheorem*{question*}
+\CreateTheorem*{exercise*}
+
+\theoremstyle{remark}
+\if@PJLthm@nothmnum
+\CreateTheorem*{remark}
+\CreateTheorem*{observation}
+\else
+\CreateTheorem@thmnum{remark}
+\CreateTheorem@thmnum{observation}
+\fi
+\CreateTheorem*{remark*}
+\CreateTheorem*{observation*}
+
+\theoremstyle{definition}
+\fi
+
+\expandafter\ifstrempty\expandafter{\@PJLthm@thmnum}{
+ \numberwithin{equation}{PJLthm@highest}
+}{
+ \expandafter\ifstrequal\expandafter{\@PJLthm@thmnum}{PJL@thmnum@default}{
+ }{
+ \numberwithin{equation}{\@PJLthm@thmnum}
+ }
+}
+
+} % End of \PJLthm@definethms
+
+\if@PJLthm@delaythms
+ \AtEndPreamble{\PJLthm@definethms}
+\else
+ \PJLthm@definethms
+\fi
+
+\gappto{\PJLlang@langconfig@CN}{%
+ \crefname{equation}{式}{式}%
+ \crefname{figure}{图}{图}%
+ \crefname{table}{表}{表}%
+ \crefname{appendix}{附录}{附录}%
+ \Crefname{equation}{式}{式}%
+ \Crefname{figure}{图}{图}%
+ \Crefname{table}{表}{表}%
+ \Crefname{appendix}{附录}{附录}%
+ \def\crefpairconjunction{、}%
+ \def\crefmiddleconjunction{、}%
+ \def\creflastconjunction{~和~}%
+ \def\crefpairgroupconjunction{~和~}%
+ \def\crefmiddlegroupconjunction{、}%
+ \def\creflastgroupconjunction{~以及~}%
+ \def\crefrangeconjunction{~}%
+}
+\gappto{\PJLlang@langconfig@TC}{%
+ \crefname{equation}{式}{式}%
+ \crefname{figure}{圖}{圖}%
+ \crefname{table}{表}{表}%
+ \crefname{appendix}{附錄}{附錄}%
+ \Crefname{equation}{式}{式}%
+ \Crefname{figure}{圖}{圖}%
+ \Crefname{table}{表}{表}%
+ \Crefname{appendix}{附錄}{附錄}%
+ \def\crefpairconjunction{、}%
+ \def\crefmiddleconjunction{、}%
+ \def\creflastconjunction{~與~}%
+ \def\crefpairgroupconjunction{~與~}%
+ \def\crefmiddlegroupconjunction{、}%
+ \def\creflastgroupconjunction{~以及~}%
+ \def\crefrangeconjunction{~}%
+}
+\gappto{\PJLlang@langconfig@JP}{%
+ \crefname{equation}{式}{式}%
+ \crefname{figure}{図}{図}%
+ \crefname{table}{表}{表}%
+ \Crefname{appendix}{付録}{付録}%
+ \Crefname{equation}{式}{式}%
+ \Crefname{figure}{図}{図}%
+ \Crefname{table}{表}{表}%
+ \Crefname{appendix}{付録}{付録}%
+ \def\crefpairconjunction{~と~}%
+ \def\crefmiddleconjunction{~と~}%
+ \def\creflastconjunction{~と~}%
+ \def\crefpairgroupconjunction{~と~}%
+ \def\crefmiddlegroupconjunction{~と~}%
+ \def\creflastgroupconjunction{~及び~}%
+ \def\crefrangeconjunction{~}%
+}
+\gappto{\PJLlang@langconfig@RU}{%
+ \crefname{equation}{уравнение}{уравнения}%
+ \crefname{figure}{рис.}{рис.}%
+ \crefname{table}{таблица}{таблицы}%
+ \crefname{appendix}{приложение}{приложения}%
+ \Crefname{equation}{Уравнение}{Уравнения}%
+ \Crefname{figure}{Рис.}{Рис.}%
+ \Crefname{table}{Таблица}{Таблицы}%
+ \Crefname{appendix}{Приложение}{Приложения}%
+ \def\crefpairconjunction{~и~}%
+ \def\crefmiddleconjunction{,~}%
+ \def\creflastconjunction{~и~}%
+ \def\crefpairgroupconjunction{~и~}%
+ \def\crefmiddlegroupconjunction{,~}%
+ \def\creflastgroupconjunction{~и~}%
+ \def\crefrangeconjunction{~\textasciitilde~}%
+}
+\gappto{\PJLlang@langconfig@PT}{%
+ \crefname{equation}{eq.}{eqs.}%
+ \crefname{figure}{fig.}{figs.}%
+ \crefname{table}{tabela}{tabelas}%
+ \crefname{appendix}{apêndice}{apêndices}%
+ \Crefname{equation}{Eq.}{Eqs.}%
+ \Crefname{figure}{Fig.}{Figs.}%
+ \Crefname{table}{Tabela}{Tabelas}%
+ \Crefname{appendix}{Apêndice}{Apêndices}%
+ \def\crefpairconjunction{ e\nobreakspace}%
+ \def\crefmiddleconjunction{, }%
+ \def\creflastconjunction{ e\nobreakspace}%
+ \def\crefpairgroupconjunction{ e\nobreakspace}%
+ \def\crefmiddlegroupconjunction{, }%
+ \def\creflastgroupconjunction{ e\nobreakspace}%
+ \def\crefrangeconjunction{ a\nobreakspace}%
+}
+
+\endinput
+%%
+%% End of file `PJLthm.sty'.