From d798f6934307e0964f886fc25b01f0b79607517a Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 21 Feb 2024 21:16:02 +0000 Subject: jxu packages (21feb24) git-svn-id: svn://tug.org/texlive/trunk@70049 c570f23f-e606-0410-a88d-b1316a301751 --- .../texmf-dist/tex/latex/beaulivre/beaulivre.cls | 9 +- Master/texmf-dist/tex/latex/colorist/colorart.cls | 4 +- Master/texmf-dist/tex/latex/colorist/colorbook.cls | 4 +- .../tex/latex/colorist/colorist-fancy.sty | 77 +- Master/texmf-dist/tex/latex/colorist/colorist.sty | 4 +- .../create-theorem-preset-names-plural.tex | 1487 ++++++++++++++++++ .../create-theorem/create-theorem-preset-names.tex | 1495 ++++++++++++++++++ .../tex/latex/create-theorem/create-theorem.sty | 1395 +---------------- Master/texmf-dist/tex/latex/einfart/einfart.cls | 9 +- Master/texmf-dist/tex/latex/lebhart/lebhart.cls | 9 +- .../tex/latex/minimalist/minimalist-classical.sty | 20 +- .../tex/latex/minimalist/minimalist-default.sty | 22 +- .../tex/latex/minimalist/minimalist-flow.sty | 20 +- .../tex/latex/minimalist/minimalist-plain.sty | 20 +- .../tex/latex/minimalist/minimalist-stream.sty | 35 +- .../texmf-dist/tex/latex/minimalist/minimalist.sty | 4 +- .../texmf-dist/tex/latex/minimalist/minimart.cls | 4 +- .../texmf-dist/tex/latex/minimalist/minimbook.cls | 4 +- Master/texmf-dist/tex/latex/projlib/ProjLib.sty | 2 +- .../tex/latex/projlib/projlib-author.sty | 2 +- .../tex/latex/projlib/projlib-datetime.sty | 2 +- .../texmf-dist/tex/latex/projlib/projlib-draft.sty | 2 +- .../texmf-dist/tex/latex/projlib/projlib-font.sty | 2 +- .../tex/latex/projlib/projlib-language.sty | 2 +- .../texmf-dist/tex/latex/projlib/projlib-logo.sty | 2 +- .../texmf-dist/tex/latex/projlib/projlib-math.sty | 2 +- .../texmf-dist/tex/latex/projlib/projlib-paper.sty | 2 +- .../texmf-dist/tex/latex/projlib/projlib-text.sty | 2 +- .../tex/latex/projlib/projlib-theorem.sty | 1614 +++++++++++++++++++- .../tex/latex/projlib/projlib-titlepage.sty | 2 +- .../texmf-dist/tex/latex/simplivre/simplivre.cls | 9 +- 31 files changed, 4769 insertions(+), 1498 deletions(-) create mode 100644 Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex create mode 100644 Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex (limited to 'Master/texmf-dist/tex/latex') diff --git a/Master/texmf-dist/tex/latex/beaulivre/beaulivre.cls b/Master/texmf-dist/tex/latex/beaulivre/beaulivre.cls index 7b7fae8298d..680395a2e1c 100644 --- a/Master/texmf-dist/tex/latex/beaulivre/beaulivre.cls +++ b/Master/texmf-dist/tex/latex/beaulivre/beaulivre.cls @@ -2,7 +2,7 @@ %% This is file `beaulivre/beaulivre.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the colorist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {beaulivre} - {2023/09/26} {} + {2024/02/20} {} {A colorful book style} \tl_const:Nn \l__colorclass_base_class_tl { book } @@ -635,7 +635,7 @@ ] \setmathfont { texgyrepagella-math.otf } [ - range = { `(, `) } , + range = { `(, `), `/, \setminus } , Scale = 1.10 ] \setmathfont { texgyrepagella-math.otf } @@ -664,6 +664,9 @@ \newcommand{\limstrut}{\vrule depth0.2ex width 0pt} \renewcommand{\varprojlim}{\mathop{\underleftarrow{{\lim}\limstrut}}} \renewcommand{\varinjlim}{\mathop{\underrightarrow{{\lim}\limstrut}}} + + \let\setminus@old\setminus + \renewcommand*{\setminus}{\!\setminus@old\!} } % https://tex.stackexchange.com/a/647789 diff --git a/Master/texmf-dist/tex/latex/colorist/colorart.cls b/Master/texmf-dist/tex/latex/colorist/colorart.cls index 92341c30b7c..dbea4b818c8 100644 --- a/Master/texmf-dist/tex/latex/colorist/colorart.cls +++ b/Master/texmf-dist/tex/latex/colorist/colorart.cls @@ -2,7 +2,7 @@ %% This is file `colorist/colorart.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the colorist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {colorart} - {2023/10/01} {} + {2024/02/20} {} {A colorful article style} \tl_const:Nn \l__colorclass_base_class_tl { article } diff --git a/Master/texmf-dist/tex/latex/colorist/colorbook.cls b/Master/texmf-dist/tex/latex/colorist/colorbook.cls index 488999f3352..4566530a3af 100644 --- a/Master/texmf-dist/tex/latex/colorist/colorbook.cls +++ b/Master/texmf-dist/tex/latex/colorist/colorbook.cls @@ -2,7 +2,7 @@ %% This is file `colorist/colorbook.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the colorist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {colorbook} - {2023/10/01} {} + {2024/02/20} {} {A colorful book style} \tl_const:Nn \l__colorclass_base_class_tl { book } diff --git a/Master/texmf-dist/tex/latex/colorist/colorist-fancy.sty b/Master/texmf-dist/tex/latex/colorist/colorist-fancy.sty index 20c48e44a8e..0674eb014d2 100644 --- a/Master/texmf-dist/tex/latex/colorist/colorist-fancy.sty +++ b/Master/texmf-dist/tex/latex/colorist/colorist-fancy.sty @@ -2,7 +2,7 @@ %% This is file `colorist/colorist-fancy.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the colorist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {colorist-fancy} - {2023/10/01} {} + {2024/02/20} {} {The fancy style of colorist} \IfPackageLoadedTF { colorist } {} @@ -862,9 +862,11 @@ heading_suffix "}\n" \PassOptionsToPackage { theorem style = { - , remark = emphasis - , observation = emphasis - , theorem = basic-var, lemma = basic-var, proposition = basic-var, corollary = basic-var, property = basic-var, axiom = basic-var, construction = basic-var, theorem-with-name = basic-var + , remark = emphasis, observation = emphasis, commentary = emphasis, motivation = emphasis + , remarks = emphasis, observations = emphasis, commentaries = emphasis, motivations = emphasis + , theorem = basic-var, lemma = basic-var, proposition = basic-var, corollary = basic-var, property = basic-var, axiom = basic-var, construction = basic-var + , theorems = basic-var, lemmas = basic-var, propositions = basic-var, corollaries = basic-var, properties = basic-var, axioms = basic-var, constructions = basic-var + , theorem-with-name = basic-var } } { projlib-theorem } @@ -875,28 +877,28 @@ heading_suffix "}\n" \SetTheorem { proof, proof* } { qed-symbol = { \customqedsymbol } } -\SetTheorem { theorem, lemma, proposition, corollary, property, axiom, construction, theorem-with-name } +\SetTheorem { theorem, theorems, lemma, lemmas, proposition, propositions, corollary, corollaries, property, properties, axiom, axioms, construction, constructions, theorem-with-name } { name style = { heading style = { \color{orange}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } } } -\SetTheorem { definition, assumption, convention, hypothesis, notation } +\SetTheorem { definition, definitions, assumption, assumptions, convention, conventions, hypothesis, hypotheses, notation, notations } { name style = { heading style = { \color{forestgreen}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } } } -\SetTheorem { application, claim, example, exercise, fact, problem, question, recall } +\SetTheorem { application, applications, claim, claims, example, examples, fact, facts, recall, recalls, problem, problems, question, questions } { name style = { heading style = { \color{main-text}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } } } -\SetTheorem { conjecture } +\SetTheorem { conjecture, conjectures } { name style = { heading style = { \color{purple}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } @@ -905,7 +907,7 @@ heading_suffix "}\n" \bool_if:NF \l__projlib_theorem_complexname_bool { - \SetTheorem { theorem, lemma, proposition, corollary, property, axiom, construction, theorem-with-name } + \SetTheorem { theorem, theorems, lemma, lemmas, proposition, propositions, corollary, corollaries, property, properties, axiom, axioms, construction, constructions, theorem-with-name } { name style = { , crefname style = { \color{orange}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } @@ -914,7 +916,7 @@ heading_suffix "}\n" } } - \SetTheorem { definition, assumption, convention, hypothesis, notation } + \SetTheorem { definition, definitions, assumption, assumptions, convention, conventions, hypothesis, hypotheses, notation, notations } { name style = { , crefname style = { \color{forestgreen}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } @@ -923,7 +925,7 @@ heading_suffix "}\n" } } - \SetTheorem { application, claim, example, exercise, fact, problem, question, recall } + \SetTheorem { application, applications, claim, claims, example, examples, fact, facts, recall, recalls, problem, problems, question, questions } { name style = { , crefname style = { \color{main-text}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } @@ -932,7 +934,7 @@ heading_suffix "}\n" } } - \SetTheorem { conjecture } + \SetTheorem { conjecture, conjectures } { name style = { , crefname style = { \color{purple}\colorist_bfseries:\g_colorist_title_font_common_tl\textsc } @@ -948,25 +950,28 @@ heading_suffix "}\n" { \renewcommand* { \marginnotevadjust } { #1 } } -\hook_gput_code:nnn { env/remark/begin } { colorist } +\clist_map_inline:nn { remark, remark*, observation, observation*, commentary, commentary*, motivation, motivation* } { - \if@twoside\checkoddpage - \ifoddpage\reversemarginpar\fi - \else - \reversemarginpar - \fi - \colorist_mpar_adjust:n {-.25em} - \marginnote{ - \colorist_icon_ideabulb:w [0.3] {orange} - \bool_if:NTF \l__colorist_is_book_bool - { - \hspace*{-.2em} - } - { - \hspace*{-.5em} + \hook_gput_code:nnn { env/#1/begin } { colorist } + { + \if@twoside\checkoddpage + \ifoddpage\reversemarginpar\fi + \else + \reversemarginpar + \fi + \colorist_mpar_adjust:n {-.33em} + \marginnote{ + \colorist_icon_ideabulb:w [0.3] {orange} + \bool_if:NTF \l__colorist_is_book_bool + { + \hspace*{-.2em} + } + { + \hspace*{-.5em} + } } - } - \normalmarginpar + \normalmarginpar + } } \hook_gput_code:nnn { env/conjecture/begin } { colorist } { @@ -1047,7 +1052,7 @@ heading_suffix "}\n" \tcolorboxenvironment { #1 } { #2 } } -\colorist_add_colorbox:nn { theorem, lemma, proposition, corollary, property, axiom, construction, definition-corollary, definition-proposition, definition-theorem, theorem-with-name } +\colorist_add_colorbox:nn { theorem, theorems, lemma, lemmas, proposition, propositions, corollary, corollaries, property, properties, axiom, axioms, construction, constructions, definition-corollary, definition-proposition, definition-theorem, theorem-with-name } { enhanced~jigsaw, breakable, lines~before~break=3, left=3.5mm, right=3.5mm, @@ -1055,7 +1060,7 @@ heading_suffix "}\n" opacityframe=0.9, colframe=orange, arc=.7mm } - \colorist_add_colorbox:nn { definition, assumption, convention, hypothesis, notation, corollary-definition, proposition-definition, theorem-definition } +\colorist_add_colorbox:nn { definition, definitions, assumption, assumptions, convention, conventions, hypothesis, hypotheses, notation, notations, corollary-definition, proposition-definition, theorem-definition } { enhanced~jigsaw, breakable, lines~before~break=3, left=4mm, right=4mm, top=1mm, bottom=1mm, @@ -1063,14 +1068,14 @@ heading_suffix "}\n" borderline~west={1.5mm}{0mm}{forestgreen}, arc=.7mm } -\colorist_add_colorbox:nn { application, claim, example, fact, recall } +\colorist_add_colorbox:nn { application, applications, claim, claims, example, examples, fact, facts, recall, recalls } { enhanced~jigsaw, breakable, lines~before~break=3, colback=main-text!5!paper, boxrule=0pt, frame~hidden, arc=.7mm } -\colorist_add_colorbox:nn { conjecture } +\colorist_add_colorbox:nn { conjecture, conjectures } { enhanced~jigsaw, breakable, lines~before~break=3, left=3.5mm, right=3.5mm, @@ -1078,14 +1083,14 @@ heading_suffix "}\n" opacityframe=0.7, colframe=purple, arc=.7mm } -\colorist_add_colorbox:nn { problem } +\colorist_add_colorbox:nn { problem, problems } { enhanced~jigsaw, breakable, lines~before~break=3, colback=yellow!25!paper, boxrule=0pt, frame~hidden, arc=.7mm } -\colorist_add_colorbox:nn { question, exercise, remark, observation } +\colorist_add_colorbox:nn { question, questions, exercise, exercises, remark, remarks, observation, observations, commentary, commentaries, motivation, motivations } { enhanced~jigsaw, breakable, lines~before~break=3, oversize, diff --git a/Master/texmf-dist/tex/latex/colorist/colorist.sty b/Master/texmf-dist/tex/latex/colorist/colorist.sty index eff7e3ec25b..68044afbc81 100644 --- a/Master/texmf-dist/tex/latex/colorist/colorist.sty +++ b/Master/texmf-dist/tex/latex/colorist/colorist.sty @@ -2,7 +2,7 @@ %% This is file `colorist/colorist.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the colorist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {colorist} - {2023/10/01} {} + {2024/02/20} {} {A colorful style for articles and books} \keys_define:nn { colorist } diff --git a/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex b/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex new file mode 100644 index 00000000000..572ab513111 --- /dev/null +++ b/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex @@ -0,0 +1,1487 @@ +%============================= +% --- Preset Names --- +%============================= + +\NameTheorem { applications } + { + , heading = { + , english = Applications + , french = Applications + , ngerman = Anwendungen + , italian = Applicazioni + , portuguese = Aplicações + , brazilian = Aplicações + , spanish = Aplicaciones + , schinese = 应用 + , tchinese = 應用 + , japanese = 応用 + , russian = Приложения + } + , crefname = { + , english = {applications}{applications} + , french = [les]{applications}[les]{applications} + , ngerman = { {Anwendungen}{Anwendungen} + , Nominativ = [die]{Anwendungen}[die]{Anwendungen} + , Genitiv = [der]{Anwendungen}[der]{Anwendungen} + , Dativ = [den]{Anwendungen}[den]{Anwendungen} + , Akkusativ = [die]{Anwendungen}[die]{Anwendungen} + } + , italian = [le]{applicazioni}[le]{applicazioni} + , portuguese = [as]{aplicações}[as]{aplicações} + , brazilian = [as]{aplicações}[as]{aplicações} + , spanish = [las]{aplicaciones}[las]{aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {приложения}{приложения} + } + , Crefname = { + , english = {Applications}{Applications} + , french = [Les]{applications}[Les]{applications} + , ngerman = { {Anwendungen}{Anwendungen} + , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen} + , Genitiv = [Der]{Anwendungen}[Der]{Anwendungen} + , Dativ = [Den]{Anwendungen}[Den]{Anwendungen} + , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen} + } + , italian = [Le]{applicazioni}[Le]{applicazioni} + , portuguese = [As]{aplicações}[As]{aplicações} + , brazilian = [As]{aplicações}[As]{aplicações} + , spanish = [Las]{aplicaciones}[Las]{aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Приложения}{Приложения} + } + } + +\NameTheorem { assertions } + { + , heading = { + , english = Assertions + , french = Assertions + , ngerman = Assertionen + , italian = Asserzioni + , portuguese = Asserções + , brazilian = Asserções + , spanish = Aserciones + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждения + } + , crefname = { + , english = {assertions}{assertions} + , french = [les]{assertions}[les]{assertions} + , ngerman = { {Assertionen}{Assertionen} + , Nominativ = [die]{Assertionen}[die]{Assertionen} + , Genitiv = [der]{Assertionen}[der]{Assertionen} + , Dativ = [den]{Assertionen}[den]{Assertionen} + , Akkusativ = [die]{Assertionen}[die]{Assertionen} + } + , italian = [le]{asserzioni}[le]{asserzioni} + , portuguese = [as]{asserções}[as]{asserções} + , brazilian = [as]{asserções}[as]{asserções} + , spanish = [las]{aserciones}[las]{aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {утверждения}{утверждения} + } + , Crefname = { + , english = {Assertions}{Assertions} + , french = [Les]{assertions}[Les]{assertions} + , ngerman = { {Assertionen}{Assertionen} + , Nominativ = [Die]{Assertionen}[Die]{Assertionen} + , Genitiv = [Der]{Assertionen}[Der]{Assertionen} + , Dativ = [Den]{Assertionen}[Den]{Assertionen} + , Akkusativ = [Die]{Assertionen}[Die]{Assertionen} + } + , italian = [Le]{asserzioni}[Le]{asserzioni} + , portuguese = [As]{asserções}[As]{asserções} + , brazilian = [As]{asserções}[As]{asserções} + , spanish = [Las]{aserciones}[Las]{aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + } + +\NameTheorem { assumptions } + { + , heading = { + , english = Assumptions + , french = Suppositions + , ngerman = Annahmen + , italian = Supposizioni + , portuguese = Suposições + , brazilian = Suposições + , spanish = Suposiciones + , schinese = 假定 + , tchinese = 假定 + , japanese = 仮定 + , russian = Предположения + } + , crefname = { + , english = {assumptions}{assumptions} + , french = [les]{suppositions}[les]{suppositions} + , ngerman = { {Annahmen}{Annahmen} + , Nominativ = [die]{Annahmen}[die]{Annahmen} + , Genitiv = [der]{Annahmen}[der]{Annahmen} + , Dativ = [den]{Annahmen}[den]{Annahmen} + , Akkusativ = [die]{Annahmen}[die]{Annahmen} + } + , italian = [le]{supposizioni}[le]{supposizioni} + , portuguese = [as]{suposições}[as]{suposições} + , brazilian = [as]{suposições}[as]{suposições} + , spanish = [las]{suposiciones}[las]{suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {предположения}{предположения} + } + , Crefname = { + , english = {Assumptions}{Assumptions} + , french = [Les]{suppositions}[Les]{suppositions} + , ngerman = { {Annahmen}{Annahmen} + , Nominativ = [Die]{Annahmen}[Die]{Annahmen} + , Genitiv = [Der]{Annahmen}[Der]{Annahmen} + , Dativ = [Den]{Annahmen}[Den]{Annahmen} + , Akkusativ = [Die]{Annahmen}[Die]{Annahmen} + } + , italian = [le]{supposizioni}[le]{supposizioni} + , portuguese = [As]{suposições}[As]{suposições} + , brazilian = [As]{suposições}[As]{suposições} + , spanish = [Las]{suposiciones}[Las]{suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположения}{Предположения} + } + } + +\NameTheorem { axioms } + { + , heading = { + , english = Axioms + , french = Axiomes + , ngerman = Axiome + , italian = Assiomi + , portuguese = Axiomas + , brazilian = Axiomas + , spanish = Axiomas + , schinese = 公理 + , tchinese = 公理 + , japanese = 公理 + , russian = Аксиомы + } + , crefname = { + , english = {axioms}{axioms} + , french = [les]{axiomes}[les]{axiomes} + , ngerman = { {Axiome}{Axiome} + , Nominativ = [die]{Axiome}[die]{Axiome} + , Genitiv = [der]{Axiome}[der]{Axiome} + , Dativ = [den]{Axiomen}[den]{Axiomen} + , Akkusativ = [die]{Axiome}[die]{Axiome} + } + , italian = [gli]{assiomi}[gli]{assiomi} + , portuguese = [os]{axiomas}[os]{axiomas} + , brazilian = [os]{axiomas}[os]{axiomas} + , spanish = [los]{axiomas}[los]{axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {аксиомы}{аксиомы} + } + , Crefname = { + , english = {Axioms}{Axioms} + , french = [Les]{axiomes}[Les]{axiomes} + , ngerman = { {Axiome}{Axiome} + , Nominativ = [Die]{Axiome}[Die]{Axiome} + , Genitiv = [Der]{Axiome}[Der]{Axiome} + , Dativ = [Den]{Axiomen}[Den]{Axiomen} + , Akkusativ = [Die]{Axiome}[Die]{Axiome} + } + , italian = [Gli]{assiomi}[Gli]{assiomi} + , portuguese = [Os]{axiomas}[Os]{axiomas} + , brazilian = [Os]{axiomas}[Os]{axiomas} + , spanish = [Los]{axiomas}[Los]{axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиомы}{Аксиомы} + } + } + +\NameTheorem { claims } + { + , heading = { + , english = Claims + , french = Affirmations + , ngerman = Behauptungen + , italian = Affermazioni + , portuguese = Afirmações + , brazilian = Afirmações + , spanish = Afirmaciones + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждения + } + , crefname = { + , english = {claims}{claims} + , french = [les]{affirmations}[les]{affirmations} + , ngerman = { {Behauptungen}{Behauptungen} + , Nominativ = [die]{Behauptungen}[die]{Behauptungen} + , Genitiv = [der]{Behauptungen}[der]{Behauptungen} + , Dativ = [den]{Behauptungen}[den]{Behauptungen} + , Akkusativ = [die]{Behauptungen}[die]{Behauptungen} + } + , italian = [le]{affermazioni}[le]{affermazioni} + , portuguese = [as]{afirmações}[as]{afirmações} + , brazilian = [as]{afirmações}[as]{afirmações} + , spanish = [las]{afirmaciones}[las]{afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {утверждения}{утверждения} + } + , Crefname = { + , english = {Claims}{Claims} + , french = [Les]{affirmations}[Les]{affirmations} + , ngerman = { {Behauptungen}{Behauptungen} + , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen} + , Genitiv = [Der]{Behauptungen}[Der]{Behauptungen} + , Dativ = [Den]{Behauptungen}[Den]{Behauptungen} + , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen} + } + , italian = [Le]{affermazioni}[Le]{affermazioni} + , portuguese = [As]{afirmações}[As]{afirmações} + , brazilian = [As]{afirmações}[As]{afirmações} + , spanish = [Las]{afirmaciones}[Las]{afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + } + +\NameTheorem { commentaries } + { + , heading = { + , english = Commentaries + , french = Commentaires + , ngerman = Kommentare + , italian = Commenti + , portuguese = Comentários + , brazilian = Comentários + , spanish = Comentarios + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 + , russian = Комментарии + } + , crefname = { + , english = {commentaries}{commentaries} + , french = [les]{commentaires}[les]{commentaires} + , ngerman = { {Kommentare}{Kommentare} + , Nominativ = [die]{Kommentare}[die]{Kommentare} + , Genitiv = [der]{Kommentare}[der]{Kommentare} + , Dativ = [den]{Kommentaren}[den]{Kommentaren} + , Akkusativ = [die]{Kommentare}[die]{Kommentare} + } + , italian = [i]{commenti}[i]{commenti} + , portuguese = [os]{comentários}[os]{comentários} + , brazilian = [os]{comentários}[os]{comentários} + , spanish = [los]{comentarios}[los]{comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {комментарии}{комментарии} + } + , Crefname = { + , english = {Commentaries}{Commentaries} + , french = [Les]{commentaires}[Les]{commentaires} + , ngerman = { {Kommentare}{Kommentare} + , Nominativ = [Die]{Kommentare}[Die]{Kommentare} + , Genitiv = [Der]{Kommentare}[Der]{Kommentare} + , Dativ = [Den]{Kommentaren}[Den]{Kommentaren} + , Akkusativ = [Die]{Kommentare}[Die]{Kommentare} + } + , italian = [I]{commenti}[I]{commenti} + , portuguese = [Os]{comentários}[Os]{comentários} + , brazilian = [Os]{comentários}[Os]{comentários} + , spanish = [Los]{comentarios}[Los]{comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарии}{Комментарии} + } + } + +\NameTheorem { conclusions } + { + , heading = { + , english = Conclusions + , french = Conclusions + , ngerman = Schlussfolgerungen + , italian = Conclusioni + , portuguese = Conclusões + , brazilian = Conclusões + , spanish = Conclusiones + , schinese = 结论 + , tchinese = 結論 + , japanese = 結論 + , russian = Выводы + } + , crefname = { + , english = {conclusions}{conclusions} + , french = [Les]{conclusions}[Les]{conclusions} + , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen} + , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen} + , Genitiv = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen} + , Dativ = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen} + , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen} + } + , italian = [le]{conclusioni}[le]{conclusioni} + , portuguese = [as]{conclusões}[as]{conclusões} + , brazilian = [as]{conclusões}[as]{conclusões} + , spanish = [las]{conclusiones}[las]{conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {выводы}{выводы} + } + , Crefname = { + , english = {Conclusions}{Conclusions} + , french = [Les]{conclusions}[Les]{conclusions} + , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen} + , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen} + , Genitiv = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen} + , Dativ = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen} + , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen} + } + , italian = [Le]{conclusioni}[Le]{conclusioni} + , portuguese = [As]{conclusões}[As]{conclusões} + , brazilian = [As]{conclusões}[As]{conclusões} + , spanish = [Las]{conclusiones}[Las]{conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Выводы}{Выводы} + } + } + +\NameTheorem { conjectures } + { + , heading = { + , english = Conjectures + , french = Conjectures + , ngerman = Vermutungen + , italian = Congetture + , portuguese = Conjeturas + , brazilian = Conjecturas + , spanish = Conjeturas + , schinese = 猜想 + , tchinese = 猜想 + , japanese = 予想 + , russian = Гипотезы + } + , crefname = { + , english = {conjectures}{conjectures} + , french = [les]{conjectures}[les]{conjectures} + , ngerman = { {Vermutungen}{Vermutungen} + , Nominativ = [die]{Vermutungen}[die]{Vermutungen} + , Genitiv = [der]{Vermutungen}[der]{Vermutungen} + , Dativ = [den]{Vermutungen}[den]{Vermutungen} + , Akkusativ = [die]{Vermutungen}[die]{Vermutungen} + } + , italian = [le]{congetture}[le]{congetture} + , portuguese = [as]{conjeturas}[as]{conjeturas} + , brazilian = [as]{conjecturas}[as]{conjecturas} + , spanish = [las]{conjeturas}[las]{conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {гипотезы}{гипотезы} + } + , Crefname = { + , english = {Conjectures}{Conjectures} + , french = [Les]{conjectures}[Les]{conjectures} + , ngerman = { {Vermutungen}{Vermutungen} + , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen} + , Genitiv = [Der]{Vermutungen}[Der]{Vermutungen} + , Dativ = [Den]{Vermutungen}[Den]{Vermutungen} + , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen} + } + , italian = [Le]{congetture}[Le]{congetture} + , portuguese = [As]{conjeturas}[As]{conjeturas} + , brazilian = [As]{conjecturas}[As]{conjecturas} + , spanish = [Las]{conjeturas}[Las]{conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотезы}{Гипотезы} + } + } + +\NameTheorem { constructions } + { + , heading = { + , english = Constructions + , french = Constructions + , ngerman = Konstruktionen + , italian = Costruzioni + , portuguese = Construções + , brazilian = Construções + , spanish = Construcciones + , schinese = 构造 + , tchinese = 構造 + , japanese = 構造 + , russian = Конструкции + } + , crefname = { + , english = {constructions}{constructions} + , french = [les]{constructions}[les]{constructions} + , ngerman = { {Konstruktionen}{Konstruktionen} + , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen} + , Genitiv = [der]{Konstruktionen}[der]{Konstruktionen} + , Dativ = [den]{Konstruktionen}[den]{Konstruktionen} + , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen} + } + , italian = [le]{costruzioni}[le]{costruzioni} + , portuguese = [as]{construções}[as]{construções} + , brazilian = [as]{construções}[as]{construções} + , spanish = [las]{construcciones}[las]{construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {конструкции}{конструкции} + } + , Crefname = { + , english = {Constructions}{Constructions} + , french = [Les]{constructions}[Les]{constructions} + , ngerman = { {Konstruktionen}{Konstruktionen} + , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen} + , Genitiv = [Der]{Konstruktionen}[Der]{Konstruktionen} + , Dativ = [Den]{Konstruktionen}[Den]{Konstruktionen} + , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen} + } + , italian = [Le]{costruzioni}[Le]{costruzioni} + , portuguese = [As]{construções}[As]{construções} + , brazilian = [As]{construções}[As]{construções} + , spanish = [Las]{construcciones}[Las]{construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкции}{Конструкции} + } + } + +\NameTheorem { conventions } + { + , heading = { + , english = Conventions + , french = Conventions + , ngerman = Konventionen + , italian = Convenzioni + , portuguese = Convenções + , brazilian = Convenções + , spanish = Convenciones + , schinese = 约定 + , tchinese = 約定 + , japanese = 慣例 + , russian = Конвенции + } + , crefname = { + , english = {conventions}{conventions} + , french = [les]{conventions}[les]{conventions} + , ngerman = { {Konventionen}{Konventionen} + , Nominativ = [die]{Konventionen}[die]{Konventionen} + , Genitiv = [der]{Konventionen}[der]{Konventionen} + , Dativ = [den]{Konventionen}[den]{Konventionen} + , Akkusativ = [die]{Konventionen}[die]{Konventionen} + } + , italian = [le]{convenzioni}[le]{convenzioni} + , portuguese = [as]{convenções}[as]{convenções} + , brazilian = [as]{convenções}[as]{convenções} + , spanish = [las]{convenciones}[las]{convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {конвенции}{конвенции} + } + , Crefname = { + , english = {Conventions}{Conventions} + , french = [Les]{conventions}[Les]{conventions} + , ngerman = { {Konventionen}{Konventionen} + , Nominativ = [Die]{Konventionen}[Die]{Konventionen} + , Genitiv = [Der]{Konventionen}[Der]{Konventionen} + , Dativ = [Den]{Konventionen}[Den]{Konventionen} + , Akkusativ = [Die]{Konventionen}[Die]{Konventionen} + } + , italian = [Le]{convenzioni}[Le]{convenzioni} + , portuguese = [As]{convenções}[As]{convenções} + , brazilian = [As]{convenções}[As]{convenções} + , spanish = [Las]{convenciones}[Las]{convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенции}{Конвенции} + } + } + +\NameTheorem { corollaries } + { + , heading = { + , english = Corollaries + , french = Corollaires + , ngerman = Korollare + , italian = Corollari + , portuguese = Corolários + , brazilian = Corolários + , spanish = Corolarios + , schinese = 推论 + , tchinese = 推論 + , japanese = 系 + , russian = Следствия + } + , crefname = { + , english = {corollaries}{corollaries} + , french = [les]{corollaires}[les]{corollaires} + , ngerman = { {Korollare}{Korollare} + , Nominativ = [die]{Korollare}[die]{Korollare} + , Genitiv = [der]{Korollare}[der]{Korollare} + , Dativ = [den]{Korollaren}[den]{Korollaren} + , Akkusativ = [die]{Korollare}[die]{Korollare} + } + , italian = [i]{corollari}[i]{corollari} + , portuguese = [os]{corolários}[os]{corolários} + , brazilian = [os]{corolários}[os]{corolários} + , spanish = [los]{corolarios}[los]{corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {следствия}{следствия} + } + , Crefname = { + , english = {Corollaries}{Corollaries} + , french = [Les]{corollaires}[Les]{corollaires} + , ngerman = { {Korollare}{Korollare} + , Nominativ = [Die]{Korollare}[Die]{Korollare} + , Genitiv = [Der]{Korollare}[Der]{Korollare} + , Dativ = [Den]{Korollaren}[Den]{Korollaren} + , Akkusativ = [Die]{Korollare}[Die]{Korollare} + } + , italian = [I]{corollari}[I]{corollari} + , portuguese = [Os]{corolários}[Os]{corolários} + , brazilian = [Os]{corolários}[Os]{corolários} + , spanish = [Los]{corolarios}[Los]{corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствия}{Следствия} + } + } + +\NameTheorem { definitions } + { + , heading = { + , english = Definitions + , french = Définitions + , ngerman = Definitionen + , italian = Definizioni + , portuguese = Definições + , brazilian = Definições + , spanish = Definiciones + , schinese = 定义 + , tchinese = 定義 + , japanese = 定義 + , russian = Определения + } + , crefname = { + , english = {definitions}{definitions} + , french = [les]{définitions}[les]{définitions} + , ngerman = { {Definitionen}{Definitionen} + , Nominativ = [die]{Definitionen}[die]{Definitionen} + , Genitiv = [der]{Definitionen}[der]{Definitionen} + , Dativ = [den]{Definitionen}[den]{Definitionen} + , Akkusativ = [die]{Definitionen}[die]{Definitionen} + } + , italian = [le]{definizioni}[le]{definizioni} + , portuguese = [as]{definições}[as]{definições} + , brazilian = [as]{definições}[as]{definições} + , spanish = [las]{definiciones}[las]{definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {определения}{определения} + } + , Crefname = { + , english = {Definitions}{Definitions} + , french = [Les]{définitions}[Les]{définitions} + , ngerman = { {Definitionen}{Definitionen} + , Nominativ = [Die]{Definitionen}[Die]{Definitionen} + , Genitiv = [Der]{Definitionen}[Der]{Definitionen} + , Dativ = [Den]{Definitionen}[Den]{Definitionen} + , Akkusativ = [Die]{Definitionen}[Die]{Definitionen} + } + , italian = [Le]{definizioni}[Le]{definizioni} + , portuguese = [As]{definições}[As]{definições} + , brazilian = [As]{definições}[As]{definições} + , spanish = [Las]{definiciones}[Las]{definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определения}{Определения} + } + } + +\NameTheorem { examples } + { + , heading = { + , english = Examples + , french = Exemples + , ngerman = Beispiele + , italian = Esempi + , portuguese = Exemplos + , brazilian = Exemplos + , spanish = Ejemplos + , schinese = 例 + , tchinese = 例 + , japanese = 例 + , russian = Примеры + } + , crefname = { + , english = {examples}{examples} + , french = [les]{exemples}[les]{exemples} + , ngerman = { {Beispiele}{Beispiele} + , Nominativ = [die]{Beispiele}[die]{Beispiele} + , Genitiv = [der]{Beispiele}[der]{Beispiele} + , Dativ = [den]{Beispielen}[den]{Beispielen} + , Akkusativ = [die]{Beispiele}[die]{Beispiele} + } + , italian = [gli]{esempi}[gli]{esempi} + , portuguese = [os]{exemplos}[os]{exemplos} + , brazilian = [os]{exemplos}[os]{exemplos} + , spanish = [los]{ejemplos}[los]{ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {примеры}{примеры} + } + , Crefname = { + , english = {Examples}{Examples} + , french = [Les]{exemples}[Les]{exemples} + , ngerman = { {Beispiele}{Beispiele} + , Nominativ = [Die]{Beispiele}[Die]{Beispiele} + , Genitiv = [Der]{Beispiele}[Der]{Beispiele} + , Dativ = [Den]{Beispielen}[Den]{Beispielen} + , Akkusativ = [Die]{Beispiele}[Die]{Beispiele} + } + , italian = [Gli]{esempi}[Gli]{esempi} + , portuguese = [Os]{exemplos}[Os]{exemplos} + , brazilian = [Os]{exemplos}[Os]{exemplos} + , spanish = [Los]{ejemplos}[Los]{ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Примеры}{Примеры} + } + } + +\NameTheorem { exercises } + { + , heading = { + , english = Exercises + , french = Exercices + , ngerman = ÜBungen + , italian = Esercizi + , portuguese = Exercícios + , brazilian = Exercícios + , spanish = Ejercicios + , schinese = 习题 + , tchinese = 習題 + , japanese = 練習 + , russian = Упражнения + } + , crefname = { + , english = {exercises}{exercises} + , french = [les]{exercices}[les]{exercices} + , ngerman = { {Übungen}{Übungen} + , Nominativ = [die]{Übungen}[die]{Übungen} + , Genitiv = [der]{Übungen}[der]{Übungen} + , Dativ = [den]{Übungen}[den]{Übungen} + , Akkusativ = [die]{Übungen}[die]{Übungen} + } + , italian = [gli]{esercizi}[gli]{esercizi} + , portuguese = [os]{exercícios}[os]{exercícios} + , brazilian = [os]{exercícios}[os]{exercícios} + , spanish = [los]{ejercicios}[los]{ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {упражнения}{упражнения} + } + , Crefname = { + , english = {Exercises}{Exercises} + , french = [Les]{exercices}[Les]{exercices} + , ngerman = { {Übungen}{Übungen} + , Nominativ = [Die]{Übungen}[Die]{Übungen} + , Genitiv = [Der]{Übungen}[Der]{Übungen} + , Dativ = [Den]{Übungen}[Den]{Übungen} + , Akkusativ = [Die]{Übungen}[Die]{Übungen} + } + , italian = [Gli]{esercizi}[Gli]{esercizi} + , portuguese = [Os]{exercícios}[Os]{exercícios} + , brazilian = [Os]{exercícios}[Os]{exercícios} + , spanish = [Los]{ejercicios}[Los]{ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнения}{Упражнения} + } + } + +\NameTheorem { facts } + { + , heading = { + , english = Facts + , french = Faits + , ngerman = Tatsachen + , italian = Fatti + , portuguese = Factos + , brazilian = Fatos + , spanish = Hechos + , schinese = 事实 + , tchinese = 事實 + , japanese = 事実 + , russian = Факты + } + , crefname = { + , english = {facts}{facts} + , french = [les]{faits}[les]{faits} + , ngerman = { {Tatsachen}{Tatsachen} + , Nominativ = [die]{Tatsachen}[die]{Tatsachen} + , Genitiv = [der]{Tatsachen}[der]{Tatsachen} + , Dativ = [den]{Tatsachen}[den]{Tatsachen} + , Akkusativ = [die]{Tatsachen}[die]{Tatsachen} + } + , italian = [i]{fatti}[i]{fatti} + , portuguese = [os]{factos}[os]{factos} + , brazilian = [os]{fatos}[os]{fatos} + , spanish = [los]{hechos}[los]{hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {факты}{факты} + } + , Crefname = { + , english = {Facts}{Facts} + , french = [Les]{faits}[Les]{faits} + , ngerman = { {Tatsachen}{Tatsachen} + , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen} + , Genitiv = [Der]{Tatsachen}[Der]{Tatsachen} + , Dativ = [Den]{Tatsachen}[Den]{Tatsachen} + , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen} + } + , italian = [I]{fatti}[I]{fatti} + , portuguese = [Os]{factos}[Os]{factos} + , brazilian = [Os]{fatos}[Os]{fatos} + , spanish = [Los]{hechos}[Los]{hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факты}{Факты} + } + } + +\NameTheorem { hypotheses } + { + , heading = { + , english = Hypotheses + , french = Hypothèses + , ngerman = Hypothesen + , italian = Ipotesi + , portuguese = Hipóteses + , brazilian = Hipóteses + , spanish = Hipótesis + , schinese = 假设 + , tchinese = 假設 + , japanese = 仮設 + , russian = Гипотезы + } + , crefname = { + , english = {hypotheses}{hypotheses} + , french = [les]{hypothèses}[les]{hypothèses} + , ngerman = { {Hypothesen}{Hypothesen} + , Nominativ = [die]{Hypothesen}[die]{Hypothesen} + , Genitiv = [der]{Hypothesen}[der]{Hypothesen} + , Dativ = [den]{Hypothesen}[den]{Hypothesen} + , Akkusativ = [die]{Hypothesen}[die]{Hypothesen} + } + , italian = [le]{ipotesi}[le]{ipotesi} + , portuguese = [as]{hipóteses}[as]{hipóteses} + , brazilian = [as]{hipóteses}[as]{hipóteses} + , spanish = [las]{hipótesis}[las]{hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {гипотезы}{гипотезы} + } + , Crefname = { + , english = {Hypotheses}{Hypotheses} + , french = [Les]{hypothèses}[Les]{hypothèses} + , ngerman = { {Hypothesen}{Hypothesen} + , Nominativ = [Die]{Hypothesen}[Die]{Hypothesen} + , Genitiv = [Der]{Hypothesen}[Der]{Hypothesen} + , Dativ = [Den]{Hypothesen}[Den]{Hypothesen} + , Akkusativ = [Die]{Hypothesen}[Die]{Hypothesen} + } + , italian = [Le]{ipotesi}[Le]{ipotesi} + , portuguese = [As]{hipóteses}[As]{hipóteses} + , brazilian = [As]{hipóteses}[As]{hipóteses} + , spanish = [Las]{hipótesis}[Las]{hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотезы}{Гипотезы} + } + } + +\NameTheorem { lemmas } + { + , heading = { + , english = Lemmas + , french = Lemmes + , ngerman = Lemmata + , italian = Lemmi + , portuguese = Lemas + , brazilian = Lemas + , spanish = Lemas + , schinese = 引理 + , tchinese = 引理 + , japanese = 補題 + , russian = Леммы + } + , crefname = { + , english = {Lemmas}{Lemmas} + , french = [les]{lemmes}[les]{lemmes} + , ngerman = { {Lemmata}{Lemmata} + , Nominativ = [die]{Lemmata}[die]{Lemmata} + , Genitiv = [der]{Lemmata}[der]{Lemmata} + , Dativ = [den]{Lemmata}[den]{Lemmata} + , Akkusativ = [die]{Lemmata}[die]{Lemmata} + } + , italian = [i]{lemmi}[i]{lemmi} + , portuguese = [os]{lemas}[os]{lemas} + , brazilian = [os]{lemas}[os]{lemas} + , spanish = [las]{lemas}[las]{lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {леммы}{леммы} + } + , Crefname = { + , english = {Lemmas}{Lemmas} + , french = [Les]{lemmes}[Les]{lemmes} + , ngerman = { {Lemmata}{Lemmata} + , Nominativ = [Die]{Lemmata}[Die]{Lemmata} + , Genitiv = [Der]{Lemmata}[Der]{Lemmata} + , Dativ = [Den]{Lemmata}[Den]{Lemmata} + , Akkusativ = [Die]{Lemmata}[Die]{Lemmata} + } + , italian = [I]{lemmi}[I]{lemmi} + , portuguese = [Os]{lemas}[Os]{lemas} + , brazilian = [Os]{lemas}[Os]{lemas} + , spanish = [las]{lemas}[las]{lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Леммы}{Леммы} + } + } + +\NameTheorem { motivations } + { + , heading = { + , english = Motivations + , french = Motivations + , ngerman = Motivationen + , italian = Motivazioni + , portuguese = Motivações + , brazilian = Motivações + , spanish = Motivaciones + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 + , russian = Мотивации + } + , crefname = { + , english = {motivations}{motivations} + , french = [les]{motivations}[les]{motivations} + , ngerman = { {Motivationen}{Motivationen} + , Nominativ = [die]{Motivationen}[die]{Motivationen} + , Genitiv = [der]{Motivationen}[der]{Motivationen} + , Dativ = [den]{Motivationen}[den]{Motivationen} + , Akkusativ = [die]{Motivationen}[die]{Motivationen} + } + , italian = [le]{motivazioni}[le]{motivazioni} + , portuguese = [as]{motivações}[as]{motivações} + , brazilian = [as]{motivações}[as]{motivações} + , spanish = [las]{motivaciones}[las]{motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {мотивации}{мотивации} + } + , Crefname = { + , english = {Motivations}{Motivations} + , french = [Les]{motivations}[Les]{motivations} + , ngerman = { {Motivationen}{Motivationen} + , Nominativ = [Die]{Motivationen}[Die]{Motivationen} + , Genitiv = [Der]{Motivationen}[Der]{Motivationen} + , Dativ = [Den]{Motivationen}[Den]{Motivationen} + , Akkusativ = [Die]{Motivationen}[Die]{Motivationen} + } + , italian = [Le]{motivazioni}[Le]{motivazioni} + , portuguese = [As]{motivações}[As]{motivações} + , brazilian = [As]{motivações}[As]{motivações} + , spanish = [Las]{motivaciones}[Las]{motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивации}{Мотивации} + } + } + +\NameTheorem { notations } + { + , heading = { + , english = Notations + , french = Notations + , ngerman = Notationen + , italian = Notazioni + , portuguese = Notações + , brazilian = Notações + , spanish = Notaciones + , schinese = 记号 + , tchinese = 記號 + , japanese = 記法 + , russian = Нотации + } + , crefname = { + , english = {notations}{notations} + , french = [les]{notations}[les]{notations} + , ngerman = { {Notationen}{Notationen} + , Nominativ = [die]{Notationen}[die]{Notationen} + , Genitiv = [der]{Notationen}[der]{Notationen} + , Dativ = [den]{Notationen}[den]{Notationen} + , Akkusativ = [die]{Notationen}[die]{Notationen} + } + , italian = [le]{notazioni}[le]{notazioni} + , portuguese = [as]{notações}[as]{notações} + , brazilian = [as]{notações}[as]{notações} + , spanish = [las]{notaciones}[las]{notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {нотации}{нотации} + } + , Crefname = { + , english = {Notations}{Notations} + , french = [Les]{notations}[Les]{notations} + , ngerman = { {Notationen}{Notationen} + , Nominativ = [Die]{Notationen}[Die]{Notationen} + , Genitiv = [Der]{Notationen}[Der]{Notationen} + , Dativ = [Den]{Notationen}[Den]{Notationen} + , Akkusativ = [Die]{Notationen}[Die]{Notationen} + } + , italian = [Le]{notazioni}[Le]{notazioni} + , portuguese = [As]{notações}[As]{notações} + , brazilian = [As]{notações}[As]{notações} + , spanish = [Las]{notaciones}[Las]{notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотации}{Нотации} + } + } + +\NameTheorem { observations } + { + , heading = { + , english = Observations + , french = Observations + , ngerman = Beobachtungen + , italian = Osservazioni + , portuguese = Observações + , brazilian = Observações + , spanish = Observaciones + , schinese = 观察 + , tchinese = 觀察 + , japanese = 観察 + , russian = Наблюдения + } + , crefname = { + , english = {observations}{observations} + , french = [les]{observations}[les]{observations} + , ngerman = { {Beobachtungen}{Beobachtungen} + , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen} + , Genitiv = [der]{Beobachtungen}[der]{Beobachtungen} + , Dativ = [den]{Beobachtungen}[den]{Beobachtungen} + , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen} + } + , italian = [le]{osservazioni}[le]{osservazioni} + , portuguese = [as]{observações}[as]{observações} + , brazilian = [as]{observações}[as]{observações} + , spanish = [las]{observaciones}[las]{observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {наблюдения}{наблюдения} + } + , Crefname = { + , english = {Observations}{Observations} + , french = [Les]{observations}[Les]{observations} + , ngerman = { {Beobachtungen}{Beobachtungen} + , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen} + , Genitiv = [Der]{Beobachtungen}[Der]{Beobachtungen} + , Dativ = [Den]{Beobachtungen}[Den]{Beobachtungen} + , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen} + } + , italian = [Le]{osservazioni}[Le]{osservazioni} + , portuguese = [As]{observações}[As]{observações} + , brazilian = [As]{observações}[As]{observações} + , spanish = [Las]{observaciones}[Las]{observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдения}{Наблюдения} + } + } + +\NameTheorem { postulates } + { + , heading = { + , english = Postulates + , french = Postulats + , ngerman = Postulate + , italian = Postulati + , portuguese = Postulados + , brazilian = Postulados + , spanish = Postulados + , schinese = 公设 + , tchinese = 公設 + , japanese = 公準 + , russian = Постулаты + } + , crefname = { + , english = {postulates}{postulates} + , french = [les]{postulats}[les]{postulats} + , ngerman = { {Postulate}{Postulate} + , Nominativ = [die]{Postulate}[die]{Postulate} + , Genitiv = [der]{Postulate}[der]{Postulate} + , Dativ = [den]{Postulaten}[den]{Postulaten} + , Akkusativ = [die]{Postulate}[die]{Postulate} + } + , italian = [i]{postulati}[i]{postulati} + , portuguese = [os]{postulados}[os]{postulados} + , brazilian = [os]{postulados}[os]{postulados} + , spanish = [los]{postulados}[los]{postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {постулаты}{постулаты} + } + , Crefname = { + , english = {Postulates}{Postulates} + , french = [Les]{postulats}[Les]{postulats} + , ngerman = { {Postulate}{Postulate} + , Nominativ = [Die]{Postulate}[Die]{Postulate} + , Genitiv = [Der]{Postulate}[Der]{Postulate} + , Dativ = [Den]{Postulaten}[Den]{Postulaten} + , Akkusativ = [Die]{Postulate}[Die]{Postulate} + } + , italian = [I]{postulati}[I]{postulati} + , portuguese = [Os]{postulados}[Os]{postulados} + , brazilian = [Os]{postulados}[Os]{postulados} + , spanish = [Los]{postulados}[Los]{postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулаты}{Постулаты} + } + } + +\NameTheorem { problems } + { + , heading = { + , english = Problems + , french = Problèmes + , ngerman = Probleme + , italian = Problemi + , portuguese = Problemas + , brazilian = Problemas + , spanish = Problemas + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Проблемы + } + , crefname = { + , english = {problems}{problems} + , french = [les]{problèmes}[les]{problèmes} + , ngerman = { {Probleme}{Probleme} + , Nominativ = [die]{Probleme}[die]{Probleme} + , Genitiv = [der]{Probleme}[der]{Probleme} + , Dativ = [den]{Problemen}[den]{Problemen} + , Akkusativ = [die]{Probleme}[die]{Probleme} + } + , italian = [i]{problemi}[i]{problemi} + , portuguese = [os]{problemas}[os]{problemas} + , brazilian = [os]{problemas}[os]{problemas} + , spanish = [los]{problemas}[los]{problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {проблемы}{проблемы} + } + , Crefname = { + , english = {Problems}{Problems} + , french = [Les]{problèmes}[Les]{problèmes} + , ngerman = { {Probleme}{Probleme} + , Nominativ = [Die]{Probleme}[Die]{Probleme} + , Genitiv = [Der]{Probleme}[Der]{Probleme} + , Dativ = [Den]{Problemen}[Den]{Problemen} + , Akkusativ = [Die]{Probleme}[Die]{Probleme} + } + , italian = [I]{problemi}[I]{problemi} + , portuguese = [Os]{problemas}[Os]{problemas} + , brazilian = [Os]{problemas}[Os]{problemas} + , spanish = [Los]{problemas}[Los]{problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблемы}{Проблемы} + } + } + +\NameTheorem { properties } + { + , heading = { + , english = Properties + , french = Propriétés + , ngerman = Eigenschaften + , italian = Proprietà + , portuguese = Propriedades + , brazilian = Propriedades + , spanish = Propiedades + , schinese = 性质 + , tchinese = 性質 + , japanese = 性質 + , russian = Имущества + } + , crefname = { + , english = {properties}{properties} + , french = [les]{propriétés}[les]{propriétés} + , ngerman = { {Eigenschaften}{Eigenschaften} + , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften} + , Genitiv = [der]{Eigenschaften}[der]{Eigenschaften} + , Dativ = [den]{Eigenschaften}[den]{Eigenschaften} + , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften} + } + , italian = [le]{proprietà}[le]{proprietà} + , portuguese = [as]{propriedades}[as]{propriedades} + , brazilian = [as]{propriedades}[as]{propriedades} + , spanish = [las]{propiedades}[las]{propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {имущества}{имущества} + } + , Crefname = { + , english = {Properties}{Properties} + , french = [Les]{propriétés}[Les]{propriétés} + , ngerman = { {Eigenschaften}{Eigenschaften} + , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften} + , Genitiv = [Der]{Eigenschaften}[Der]{Eigenschaften} + , Dativ = [Den]{Eigenschaften}[Den]{Eigenschaften} + , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften} + } + , italian = [Le]{proprietà}[Le]{proprietà} + , portuguese = [As]{propriedades}[As]{propriedades} + , brazilian = [As]{propriedades}[As]{propriedades} + , spanish = [Las]{propiedades}[Las]{propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущества}{Имущества} + } + } + +\NameTheorem { propositions } + { + , heading = { + , english = Propositions + , french = Propositions + , ngerman = Propositionen + , italian = Proposte + , portuguese = Proposições + , brazilian = Proposições + , spanish = Proposiciones + , schinese = 命题 + , tchinese = 命題 + , japanese = 命題 + , russian = Предложения + } + , crefname = { + , english = {propositions}{propositions} + , french = [les]{propositions}[les]{propositions} + , ngerman = { {Propositionen}{Propositionen} + , Nominativ = [die]{Propositionen}[die]{Propositionen} + , Genitiv = [der]{Propositionen}[der]{Propositionen} + , Dativ = [den]{Propositionen}[den]{Propositionen} + , Akkusativ = [die]{Propositionen}[die]{Propositionen} + } + , italian = [le]{proposte}[le]{proposte} + , portuguese = [as]{proposições}[as]{proposições} + , brazilian = [as]{proposições}[as]{proposições} + , spanish = [las]{proposiciones}[las]{proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {предложения}{предложения} + } + , Crefname = { + , english = {Propositions}{Propositions} + , french = [Les]{propositions}[Les]{propositions} + , ngerman = { {Propositionen}{Propositionen} + , Nominativ = [Die]{Propositionen}[Die]{Propositionen} + , Genitiv = [Der]{Propositionen}[Der]{Propositionen} + , Dativ = [Den]{Propositionen}[Den]{Propositionen} + , Akkusativ = [Die]{Propositionen}[Die]{Propositionen} + } + , italian = [Le]{proposte}[Le]{proposte} + , portuguese = [As]{proposições}[As]{proposições} + , brazilian = [As]{proposições}[As]{proposições} + , spanish = [Las]{proposiciones}[Las]{proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложения}{Предложения} + } + } + +\NameTheorem { questions } + { + , heading = { + , english = Questions + , french = Questions + , ngerman = Fragen + , italian = Domande + , portuguese = Perguntas + , brazilian = Perguntas + , spanish = Preguntas + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Вопросы + } + , crefname = { + , english = {questions}{questions} + , french = [les]{questions}[les]{questions} + , ngerman = { {Fragen}{Fragen} + , Nominativ = [die]{Fragen}[die]{Fragen} + , Genitiv = [der]{Fragen}[der]{Fragen} + , Dativ = [den]{Fragen}[den]{Fragen} + , Akkusativ = [die]{Fragen}[die]{Fragen} + } + , italian = [le]{domande}[le]{domande} + , portuguese = [as]{perguntas}[as]{perguntas} + , brazilian = [as]{perguntas}[as]{perguntas} + , spanish = [las]{preguntas}[las]{preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {вопросы}{вопросы} + } + , Crefname = { + , english = {Questions}{Questions} + , french = [Les]{questions}[Les]{questions} + , ngerman = { {Fragen}{Fragen} + , Nominativ = [Die]{Fragen}[Die]{Fragen} + , Genitiv = [Der]{Fragen}[Der]{Fragen} + , Dativ = [Den]{Fragen}[Den]{Fragen} + , Akkusativ = [Die]{Fragen}[Die]{Fragen} + } + , italian = [Le]{domande}[Le]{domande} + , portuguese = [As]{perguntas}[As]{perguntas} + , brazilian = [As]{perguntas}[As]{perguntas} + , spanish = [Las]{preguntas}[Las]{preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопросы}{Вопросы} + } + } + +\NameTheorem { recalls } + { + , heading = { + , english = Recalls + , french = Rappels + , ngerman = Erinnerungen + , italian = Richiami + , portuguese = Recordações + , brazilian = Recordações + , spanish = Recuerdos + , schinese = 回顾 + , tchinese = 回顧 + , japanese = 回顧 + , russian = Напоминания + } + , crefname = { + , english = {recalls}{recalls} + , french = [les]{rappels}[les]{rappels} + , ngerman = { {Erinnerungen}{Erinnerungen} + , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen} + , Genitiv = [der]{Erinnerungen}[der]{Erinnerungen} + , Dativ = [den]{Erinnerungen}[den]{Erinnerungen} + , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen} + } + , italian = [i]{richiami}[i]{richiami} + , portuguese = [as]{recordações}[as]{recordações} + , brazilian = [as]{recordações}[as]{recordações} + , spanish = [los]{recuerdos}[los]{recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {напоминания}{напоминания} + } + , Crefname = { + , english = {Recalls}{Recalls} + , french = [Les]{rappels}[Les]{rappels} + , ngerman = { {Erinnerungen}{Erinnerungen} + , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen} + , Genitiv = [Der]{Erinnerungen}[Der]{Erinnerungen} + , Dativ = [Den]{Erinnerungen}[Den]{Erinnerungen} + , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen} + } + , italian = [I]{richiami}[I]{richiami} + , portuguese = [As]{recordações}[As]{recordações} + , brazilian = [As]{recordações}[As]{recordações} + , spanish = [Los]{recuerdos}[Los]{recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминания}{Напоминания} + } + } + +\NameTheorem { remarks } + { + , heading = { + , english = Remarks + , french = Remarques + , ngerman = Bemerkungen + , italian = Commenti + , portuguese = Comentários + , brazilian = Comentários + , spanish = Comentarios + , schinese = 备注 + , tchinese = 備註 + , japanese = 注釈 + , russian = Замечания + } + , crefname = { + , english = {remarks}{remarks} + , french = [les]{remarques}[les]{remarques} + , ngerman = { {Bemerkungen}{Bemerkungen} + , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen} + , Genitiv = [der]{Bemerkungen}[der]{Bemerkungen} + , Dativ = [den]{Bemerkungen}[den]{Bemerkungen} + , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen} + } + , italian = [i]{commenti}[i]{commenti} + , portuguese = [os]{comentários}[os]{comentários} + , brazilian = [os]{comentários}[os]{comentários} + , spanish = [los]{comentarios}[los]{comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {замечания}{замечания} + } + , Crefname = { + , english = {Remarks}{Remarks} + , french = [Les]{remarques}[Les]{remarques} + , ngerman = { {Bemerkungen}{Bemerkungen} + , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen} + , Genitiv = [Der]{Bemerkungen}[Der]{Bemerkungen} + , Dativ = [Den]{Bemerkungen}[Den]{Bemerkungen} + , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen} + } + , italian = [I]{commenti}[I]{commenti} + , portuguese = [Os]{comentários}[Os]{comentários} + , brazilian = [Os]{comentários}[Os]{comentários} + , spanish = [Los]{comentarios}[Los]{comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечания}{Замечания} + } + } + +\NameTheorem { theorems } + { + , heading = { + , english = Theorems + , french = Théorèmes + , ngerman = Sätze + , italian = Teoremi + , portuguese = Teoremas + , brazilian = Teoremas + , spanish = Teoremas + , schinese = 定理 + , tchinese = 定理 + , japanese = 定理 + , russian = Теоремы + } + , crefname = { + , english = {theorems}{theorems} + , french = [les]{théorèmes}[les]{théorèmes} + , ngerman = { {Sätze}{Sätze} + , Nominativ = [die]{Sätze}[die]{Sätze} + , Genitiv = [der]{Sätze}[der]{Sätze} + , Dativ = [den]{Sätzen}[den]{Sätzen} + , Akkusativ = [die]{Sätze}[die]{Sätze} + } + , italian = [i]{teoremi}[i]{teoremi} + , portuguese = [os]{teoremas}[os]{teoremas} + , brazilian = [os]{teoremas}[os]{teoremas} + , spanish = [los]{teoremas}[los]{teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {теоремы}{теоремы} + } + , Crefname = { + , english = {Theorems}{Theorems} + , french = [Les]{théorèmes}[Les]{théorèmes} + , ngerman = { {Sätze}{Sätze} + , Nominativ = [Die]{Sätze}[Die]{Sätze} + , Genitiv = [Der]{Sätze}[Der]{Sätze} + , Dativ = [Den]{Sätzen}[Den]{Sätzen} + , Akkusativ = [Die]{Sätze}[Die]{Sätze} + } + , italian = [I]{teoremi}[I]{teoremi} + , portuguese = [Os]{teoremas}[Os]{teoremas} + , brazilian = [Os]{teoremas}[Os]{teoremas} + , spanish = [Los]{teoremas}[Los]{teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теоремы}{Теоремы} + } + } diff --git a/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex b/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex new file mode 100644 index 00000000000..9df9c0e274d --- /dev/null +++ b/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex @@ -0,0 +1,1495 @@ +%============================= +% --- Preset Names --- +%============================= + +\NameTheorem { application } + { + , heading = { + , english = Application + , french = Application + , ngerman = Anwendung + , italian = Applicazione + , portuguese = Aplicação + , brazilian = Aplicação + , spanish = Aplicación + , schinese = 应用 + , tchinese = 應用 + , japanese = 応用 + , russian = Применение + } + , crefname = { + , english = {application}{applications} + , french = [l']{application}[les]{applications} + , ngerman = { {Anwendung}{Anwendungen} + , Nominativ = [die]{Anwendung}[die]{Anwendungen} + , Genitiv = [der]{Anwendung}[der]{Anwendungen} + , Dativ = [der]{Anwendung}[den]{Anwendungen} + , Akkusativ = [die]{Anwendung}[die]{Anwendungen} + } + , italian = [l']{applicazione}[le]{applicazioni} + , portuguese = [a]{aplicação}[as]{aplicações} + , brazilian = [a]{aplicação}[as]{aplicações} + , spanish = [la]{aplicación}[las]{aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {применение}{приложения} + } + , Crefname = { + , english = {Application}{Applications} + , french = [L']{application}[Les]{applications} + , ngerman = { {Anwendung}{Anwendungen} + , Nominativ = [Die]{Anwendung}[Die]{Anwendungen} + , Genitiv = [Der]{Anwendung}[Der]{Anwendungen} + , Dativ = [Der]{Anwendung}[Den]{Anwendungen} + , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen} + } + , italian = [L']{applicazione}[Le]{applicazioni} + , portuguese = [A]{aplicação}[As]{aplicações} + , brazilian = [A]{aplicação}[As]{aplicações} + , spanish = [La]{aplicación}[Las]{aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Применение}{Приложения} + } + } + +\NameTheorem { assertion } + { + , heading = { + , english = Assertion + , french = Assertion + , ngerman = Assertion + , italian = Asserzione + , portuguese = Asserção + , brazilian = Asserção + , spanish = Aserción + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждение + } + , crefname = { + , english = {assertion}{assertions} + , french = [l']{assertion}[les]{assertions} + , ngerman = { {Assertion}{Assertionen} + , Nominativ = [die]{Assertion}[die]{Assertionen} + , Genitiv = [der]{Assertion}[der]{Assertionen} + , Dativ = [der]{Assertion}[den]{Assertionen} + , Akkusativ = [die]{Assertion}[die]{Assertionen} + } + , italian = [l']{asserzione}[le]{asserzioni} + , portuguese = [a]{asserção}[as]{asserções} + , brazilian = [a]{asserção}[as]{asserções} + , spanish = [la]{aserción}[las]{aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {утверждение}{утверждения} + } + , Crefname = { + , english = {Assertion}{Assertions} + , french = [L']{assertion}[Les]{assertions} + , ngerman = { {Assertion}{Assertionen} + , Nominativ = [Die]{Assertion}[Die]{Assertionen} + , Genitiv = [Der]{Assertion}[Der]{Assertionen} + , Dativ = [Der]{Assertion}[Den]{Assertionen} + , Akkusativ = [Die]{Assertion}[Die]{Assertionen} + } + , italian = [L']{asserzione}[Le]{asserzioni} + , portuguese = [A]{asserção}[As]{asserções} + , brazilian = [A]{asserção}[As]{asserções} + , spanish = [La]{aserción}[Las]{aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждение}{Утверждения} + } + } + +\NameTheorem { assumption } + { + , heading = { + , english = Assumption + , french = Supposition + , ngerman = Annahme + , italian = Supposizione + , portuguese = Suposição + , brazilian = Suposição + , spanish = Suposición + , schinese = 假定 + , tchinese = 假定 + , japanese = 仮定 + , russian = Предположение + } + , crefname = { + , english = {assumption}{assumptions} + , french = [la]{supposition}[les]{suppositions} + , ngerman = { {Annahme}{Annahmen} + , Nominativ = [die]{Annahme}[die]{Annahmen} + , Genitiv = [der]{Annahme}[der]{Annahmen} + , Dativ = [der]{Annahme}[den]{Annahmen} + , Akkusativ = [die]{Annahme}[die]{Annahmen} + } + , italian = [la]{supposizione}[le]{supposizioni} + , portuguese = [a]{suposição}[as]{suposições} + , brazilian = [a]{suposição}[as]{suposições} + , spanish = [la]{suposición}[las]{suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {предположение}{предположения} + } + , Crefname = { + , english = {Assumption}{Assumptions} + , french = [La]{supposition}[Les]{suppositions} + , ngerman = { {Annahme}{Annahmen} + , Nominativ = [Die]{Annahme}[Die]{Annahmen} + , Genitiv = [Der]{Annahme}[Der]{Annahmen} + , Dativ = [Der]{Annahme}[Den]{Annahmen} + , Akkusativ = [Die]{Annahme}[Die]{Annahmen} + } + , italian = [la]{supposizione}[le]{supposizioni} + , portuguese = [A]{suposição}[As]{suposições} + , brazilian = [A]{suposição}[As]{suposições} + , spanish = [La]{suposición}[Las]{suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположение}{Предположения} + } + } + +\NameTheorem { axiom } + { + , heading = { + , english = Axiom + , french = Axiome + , ngerman = Axiom + , italian = Assioma + , portuguese = Axioma + , brazilian = Axioma + , spanish = Axioma + , schinese = 公理 + , tchinese = 公理 + , japanese = 公理 + , russian = Аксиома + } + , crefname = { + , english = {axiom}{axioms} + , french = [l']{axiome}[les]{axiomes} + , ngerman = { {Axiom}{Axiome} + , Nominativ = [das]{Axiom}[die]{Axiome} + , Genitiv = [des]{Axioms}[der]{Axiome} + , Dativ = [dem]{Axiom}[den]{Axiomen} + , Akkusativ = [das]{Axiom}[die]{Axiome} + } + , italian = [l']{assioma}[gli]{assiomi} + , portuguese = [o]{axioma}[os]{axiomas} + , brazilian = [o]{axioma}[os]{axiomas} + , spanish = [el]{axioma}[los]{axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {аксиома}{аксиомы} + } + , Crefname = { + , english = {Axiom}{Axioms} + , french = [L']{axiome}[Les]{axiomes} + , ngerman = { {Axiom}{Axiome} + , Nominativ = [Das]{Axiom}[Die]{Axiome} + , Genitiv = [Des]{Axioms}[Der]{Axiome} + , Dativ = [Dem]{Axiom}[Den]{Axiomen} + , Akkusativ = [Das]{Axiom}[Die]{Axiome} + } + , italian = [L']{assioma}[Gli]{assiomi} + , portuguese = [O]{axioma}[Os]{axiomas} + , brazilian = [O]{axioma}[Os]{axiomas} + , spanish = [El]{axioma}[Los]{axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиома}{Аксиомы} + } + } + +\NameTheorem { claim } + { + , heading = { + , english = Claim + , french = Affirmation + , ngerman = Behauptung + , italian = Affermazione + , portuguese = Afirmação + , brazilian = Afirmação + , spanish = Afirmación + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждение + } + , crefname = { + , english = {claim}{claims} + , french = [l']{affirmation}[les]{affirmations} + , ngerman = { {Behauptung}{Behauptungen} + , Nominativ = [die]{Behauptung}[die]{Behauptungen} + , Genitiv = [der]{Behauptung}[der]{Behauptungen} + , Dativ = [der]{Behauptung}[den]{Behauptungen} + , Akkusativ = [die]{Behauptung}[die]{Behauptungen} + } + , italian = [l']{affermazione}[le]{affermazioni} + , portuguese = [a]{afirmação}[as]{afirmações} + , brazilian = [a]{afirmação}[as]{afirmações} + , spanish = [la]{afirmación}[las]{afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {утверждение}{утверждения} + } + , Crefname = { + , english = {Claim}{Claims} + , french = [L']{affirmation}[Les]{affirmations} + , ngerman = { {Behauptung}{Behauptungen} + , Nominativ = [Die]{Behauptung}[Die]{Behauptungen} + , Genitiv = [Der]{Behauptung}[Der]{Behauptungen} + , Dativ = [Der]{Behauptung}[Den]{Behauptungen} + , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen} + } + , italian = [L']{affermazione}[Le]{affermazioni} + , portuguese = [A]{afirmação}[As]{afirmações} + , brazilian = [A]{afirmação}[As]{afirmações} + , spanish = [La]{afirmación}[Las]{afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждение}{Утверждения} + } + } + +\NameTheorem { commentary } + { + , heading = { + , english = Commentary + , french = Commentaire + , ngerman = Kommentar + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 % コメント + , russian = Комментарий + } + , crefname = { + , english = {commentary}{commentaries} + , french = [le]{commentaire}[les]{commentaires} + , ngerman = { {Kommentar}{Kommentare} + , Nominativ = [der]{Kommentar}[die]{Kommentare} + , Genitiv = [des]{Kommentars}[der]{Kommentare} + , Dativ = [dem]{Kommentar}[den]{Kommentaren} + , Akkusativ = [den]{Kommentar}[die]{Kommentare} + } + , italian = [il]{commento}[i]{commenti} + , portuguese = [o]{comentário}[os]{comentários} + , brazilian = [o]{comentário}[os]{comentários} + , spanish = [el]{comentario}[los]{comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {комментарий}{комментарии} + } + , Crefname = { + , english = {Commentary}{Commentaries} + , french = [Le]{commentaire}[Les]{commentaires} + , ngerman = { {Kommentar}{Kommentare} + , Nominativ = [Der]{Kommentar}[Die]{Kommentare} + , Genitiv = [Des]{Kommentars}[Der]{Kommentare} + , Dativ = [Dem]{Kommentar}[Den]{Kommentaren} + , Akkusativ = [Den]{Kommentar}[Die]{Kommentare} + } + , italian = [Il]{commento}[I]{commenti} + , portuguese = [O]{comentário}[Os]{comentários} + , brazilian = [O]{comentário}[Os]{comentários} + , spanish = [El]{comentario}[Los]{comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарий}{Комментарии} + } + } + +\NameTheorem { conclusion } + { + , heading = { + , english = Conclusion + , french = Conclusion + , ngerman = Schlussfolgerung + , italian = Conclusione + , portuguese = Conclusão + , brazilian = Conclusão + , spanish = Conclusión + , schinese = 结论 + , tchinese = 結論 + , japanese = 結論 + , russian = Вывод + } + , crefname = { + , english = {conclusion}{conclusions} + , french = [la]{conclusion}[Les]{conclusions} + , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} + , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} + , Genitiv = [der]{Schlussfolgerung}[der]{Schlussfolgerungen} + , Dativ = [der]{Schlussfolgerung}[den]{Schlussfolgerungen} + , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} + } + , italian = [la]{conclusione}[le]{conclusioni} + , portuguese = [a]{conclusão}[as]{conclusões} + , brazilian = [a]{conclusão}[as]{conclusões} + , spanish = [la]{conclusión}[las]{conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {вывод}{выводы} + } + , Crefname = { + , english = {Conclusion}{Conclusions} + , french = [La]{conclusion}[Les]{conclusions} + , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} + , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} + , Genitiv = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen} + , Dativ = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen} + , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} + } + , italian = [La]{conclusione}[Le]{conclusioni} + , portuguese = [A]{conclusão}[As]{conclusões} + , brazilian = [A]{conclusão}[As]{conclusões} + , spanish = [La]{conclusión}[Las]{conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Вывод}{Выводы} + } + } + +\NameTheorem { conjecture } + { + , heading = { + , english = Conjecture + , french = Conjecture + , ngerman = Vermutung + , italian = Congettura + , portuguese = Conjetura + , brazilian = Conjectura + , spanish = Conjetura + , schinese = 猜想 + , tchinese = 猜想 + , japanese = 予想 + , russian = Гипотеза + } + , crefname = { + , english = {conjecture}{conjectures} + , french = [la]{conjecture}[les]{conjectures} + , ngerman = { {Vermutung}{Vermutungen} + , Nominativ = [die]{Vermutung}[die]{Vermutungen} + , Genitiv = [der]{Vermutung}[der]{Vermutungen} + , Dativ = [der]{Vermutung}[den]{Vermutungen} + , Akkusativ = [die]{Vermutung}[die]{Vermutungen} + } + , italian = [la]{congettura}[le]{congetture} + , portuguese = [a]{conjetura}[as]{conjeturas} + , brazilian = [a]{conjectura}[as]{conjecturas} + , spanish = [la]{conjetura}[las]{conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {гипотеза}{гипотезы} + } + , Crefname = { + , english = {Conjecture}{Conjectures} + , french = [La]{conjecture}[Les]{conjectures} + , ngerman = { {Vermutung}{Vermutungen} + , Nominativ = [Die]{Vermutung}[Die]{Vermutungen} + , Genitiv = [Der]{Vermutung}[Der]{Vermutungen} + , Dativ = [Der]{Vermutung}[Den]{Vermutungen} + , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen} + } + , italian = [La]{congettura}[Le]{congetture} + , portuguese = [A]{conjetura}[As]{conjeturas} + , brazilian = [A]{conjectura}[As]{conjecturas} + , spanish = [La]{conjetura}[Las]{conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотеза}{Гипотезы} + } + } + +\NameTheorem { construction } + { + , heading = { + , english = Construction + , french = Construction + , ngerman = Konstruktion + , italian = Costruzione + , portuguese = Construção + , brazilian = Construção + , spanish = Construcción + , schinese = 构造 + , tchinese = 構造 + , japanese = 構造 + , russian = Конструкция + } + , crefname = { + , english = {construction}{constructions} + , french = [la]{construction}[les]{constructions} + , ngerman = { {Konstruktion}{Konstruktionen} + , Nominativ = [die]{Konstruktion}[die]{Konstruktionen} + , Genitiv = [der]{Konstruktion}[der]{Konstruktionen} + , Dativ = [der]{Konstruktion}[den]{Konstruktionen} + , Akkusativ = [die]{Konstruktion}[die]{Konstruktionen} + } + , italian = [la]{costruzione}[le]{costruzioni} + , portuguese = [a]{construção}[as]{construções} + , brazilian = [a]{construção}[as]{construções} + , spanish = [la]{construcción}[las]{construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {конструкция}{конструкции} + } + , Crefname = { + , english = {Construction}{Constructions} + , french = [La]{construction}[Les]{constructions} + , ngerman = { {Konstruktion}{Konstruktionen} + , Nominativ = [Die]{Konstruktion}[Die]{Konstruktionen} + , Genitiv = [Der]{Konstruktion}[Der]{Konstruktionen} + , Dativ = [Der]{Konstruktion}[Den]{Konstruktionen} + , Akkusativ = [Die]{Konstruktion}[Die]{Konstruktionen} + } + , italian = [La]{costruzione}[Le]{costruzioni} + , portuguese = [A]{construção}[As]{construções} + , brazilian = [A]{construção}[As]{construções} + , spanish = [La]{construcción}[Las]{construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкция}{Конструкции} + } + } + +\NameTheorem { convention } + { + , heading = { + , english = Convention + , french = Convention + , ngerman = Konvention + , italian = Convenzione + , portuguese = Convenção + , brazilian = Convenção + , spanish = Convención + , schinese = 约定 + , tchinese = 約定 + , japanese = 慣例 + , russian = Конвенция + } + , crefname = { + , english = {convention}{conventions} + , french = [la]{convention}[les]{conventions} + , ngerman = { {Konvention}{Konventionen} + , Nominativ = [die]{Konvention}[die]{Konventionen} + , Genitiv = [der]{Konvention}[der]{Konventionen} + , Dativ = [der]{Konvention}[den]{Konventionen} + , Akkusativ = [die]{Konvention}[die]{Konventionen} + } + , italian = [la]{convenzione}[le]{convenzioni} + , portuguese = [a]{convenção}[as]{convenções} + , brazilian = [a]{convenção}[as]{convenções} + , spanish = [la]{convención}[las]{convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {конвенция}{конвенции} + } + , Crefname = { + , english = {Convention}{Conventions} + , french = [La]{convention}[Les]{conventions} + , ngerman = { {Konvention}{Konventionen} + , Nominativ = [Die]{Konvention}[Die]{Konventionen} + , Genitiv = [Der]{Konvention}[Der]{Konventionen} + , Dativ = [Der]{Konvention}[Den]{Konventionen} + , Akkusativ = [Die]{Konvention}[Die]{Konventionen} + } + , italian = [La]{convenzione}[Le]{convenzioni} + , portuguese = [A]{convenção}[As]{convenções} + , brazilian = [A]{convenção}[As]{convenções} + , spanish = [La]{convención}[Las]{convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенция}{Конвенции} + } + } + +\NameTheorem { corollary } + { + , heading = { + , english = Corollary + , french = Corollaire + , ngerman = Korollar + , italian = Corollario + , portuguese = Corolário + , brazilian = Corolário + , spanish = Corolario + , schinese = 推论 + , tchinese = 推論 + , japanese = 系 + , russian = Следствие + } + , crefname = { + , english = {corollary}{corollaries} + , french = [le]{corollaire}[les]{corollaires} + , ngerman = { {Korollar}{Korollare} + , Nominativ = [das]{Korollar}[die]{Korollare} + , Genitiv = [des]{Korollars}[der]{Korollare} + , Dativ = [dem]{Korollar}[den]{Korollaren} + , Akkusativ = [das]{Korollar}[die]{Korollare} + } + , italian = [il]{corollario}[i]{corollari} + , portuguese = [o]{corolário}[os]{corolários} + , brazilian = [o]{corolário}[os]{corolários} + , spanish = [el]{corolario}[los]{corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {следствие}{следствия} + } + , Crefname = { + , english = {Corollary}{Corollaries} + , french = [Le]{corollaire}[Les]{corollaires} + , ngerman = { {Korollar}{Korollare} + , Nominativ = [Das]{Korollar}[Die]{Korollare} + , Genitiv = [Des]{Korollars}[Der]{Korollare} + , Dativ = [Dem]{Korollar}[Den]{Korollaren} + , Akkusativ = [Das]{Korollar}[Die]{Korollare} + } + , italian = [Il]{corollario}[I]{corollari} + , portuguese = [O]{corolário}[Os]{corolários} + , brazilian = [O]{corolário}[Os]{corolários} + , spanish = [El]{corolario}[Los]{corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствие}{Следствия} + } + } + +\NameTheorem { definition } + { + , heading = { + , english = Definition + , french = Définition + , ngerman = Definition + , italian = Definizione + , portuguese = Definição + , brazilian = Definição + , spanish = Definición + , schinese = 定义 + , tchinese = 定義 + , japanese = 定義 + , russian = Определение + } + , crefname = { + , english = {definition}{definitions} + , french = [la]{définition}[les]{définitions} + , ngerman = { {Definition}{Definitionen} + , Nominativ = [die]{Definition}[die]{Definitionen} + , Genitiv = [der]{Definition}[der]{Definitionen} + , Dativ = [der]{Definition}[den]{Definitionen} + , Akkusativ = [die]{Definition}[die]{Definitionen} + } + , italian = [la]{definizione}[le]{definizioni} + , portuguese = [a]{definição}[as]{definições} + , brazilian = [a]{definição}[as]{definições} + , spanish = [la]{definición}[las]{definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {определение}{определения} + } + , Crefname = { + , english = {Definition}{Definitions} + , french = [La]{définition}[Les]{définitions} + , ngerman = { {Definition}{Definitionen} + , Nominativ = [Die]{Definition}[Die]{Definitionen} + , Genitiv = [Der]{Definition}[Der]{Definitionen} + , Dativ = [Der]{Definition}[Den]{Definitionen} + , Akkusativ = [Die]{Definition}[Die]{Definitionen} + } + , italian = [La]{definizione}[Le]{definizioni} + , portuguese = [A]{definição}[As]{definições} + , brazilian = [A]{definição}[As]{definições} + , spanish = [La]{definición}[Las]{definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определение}{Определения} + } + } + +\NameTheorem { example } + { + , heading = { + , english = Example + , french = Exemple + , ngerman = Beispiel + , italian = Esempio + , portuguese = Exemplo + , brazilian = Exemplo + , spanish = Ejemplo + , schinese = 例 + , tchinese = 例 + , japanese = 例 + , russian = Пример + } + , crefname = { + , english = {example}{examples} + , french = [l']{exemple}[les]{exemples} + , ngerman = { {Beispiel}{Beispiele} + , Nominativ = [das]{Beispiel}[die]{Beispiele} + , Genitiv = [des]{Beispiels}[der]{Beispiele} + , Dativ = [dem]{Beispiel}[den]{Beispielen} + , Akkusativ = [das]{Beispiel}[die]{Beispiele} + } + , italian = [l']{esempio}[gli]{esempi} + , portuguese = [o]{exemplo}[os]{exemplos} + , brazilian = [o]{exemplo}[os]{exemplos} + , spanish = [el]{ejemplo}[los]{ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {пример}{примеры} + } + , Crefname = { + , english = {Example}{Examples} + , french = [L']{exemple}[Les]{exemples} + , ngerman = { {Beispiel}{Beispiele} + , Nominativ = [Das]{Beispiel}[Die]{Beispiele} + , Genitiv = [Des]{Beispiels}[Der]{Beispiele} + , Dativ = [Dem]{Beispiel}[Den]{Beispielen} + , Akkusativ = [Das]{Beispiel}[Die]{Beispiele} + } + , italian = [L']{esempio}[Gli]{esempi} + , portuguese = [O]{exemplo}[Os]{exemplos} + , brazilian = [O]{exemplo}[Os]{exemplos} + , spanish = [El]{ejemplo}[Los]{ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Пример}{Примеры} + } + } + +\NameTheorem { exercise } + { + , heading = { + , english = Exercise + , french = Exercice + , ngerman = Übung + , italian = Esercizio + , portuguese = Exercício + , brazilian = Exercício + , spanish = Ejercicio + , schinese = 习题 + , tchinese = 習題 + , japanese = 練習 + , russian = Упражнение + } + , crefname = { + , english = {exercise}{exercises} + , french = [l']{exercice}[les]{exercices} + , ngerman = { {Übung}{Übungen} + , Nominativ = [die]{Übung}[die]{Übungen} + , Genitiv = [der]{Übung}[der]{Übungen} + , Dativ = [der]{Übung}[den]{Übungen} + , Akkusativ = [die]{Übung}[die]{Übungen} + } + , italian = [l']{esercizio}[gli]{esercizi} + , portuguese = [o]{exercício}[os]{exercícios} + , brazilian = [o]{exercício}[os]{exercícios} + , spanish = [el]{ejercicio}[los]{ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {упражнение}{упражнения} + } + , Crefname = { + , english = {Exercise}{Exercises} + , french = [L']{exercice}[Les]{exercices} + , ngerman = { {Übung}{Übungen} + , Nominativ = [Die]{Übung}[Die]{Übungen} + , Genitiv = [Der]{Übung}[Der]{Übungen} + , Dativ = [Der]{Übung}[Den]{Übungen} + , Akkusativ = [Die]{Übung}[Die]{Übungen} + } + , italian = [L']{esercizio}[Gli]{esercizi} + , portuguese = [O]{exercício}[Os]{exercícios} + , brazilian = [O]{exercício}[Os]{exercícios} + , spanish = [El]{ejercicio}[Los]{ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнение}{Упражнения} + } + } + +\NameTheorem { fact } + { + , heading = { + , english = Fact + , french = Fait + , ngerman = Tatsache + , italian = Fatto + , portuguese = Facto + , brazilian = Fato + , spanish = Hecho + , schinese = 事实 + , tchinese = 事實 + , japanese = 事実 + , russian = Факт + } + , crefname = { + , english = {fact}{facts} + , french = [le]{fait}[les]{faits} + , ngerman = { {Tatsache}{Tatsachen} + , Nominativ = [die]{Tatsache}[die]{Tatsachen} + , Genitiv = [der]{Tatsache}[der]{Tatsachen} + , Dativ = [der]{Tatsache}[den]{Tatsachen} + , Akkusativ = [die]{Tatsache}[die]{Tatsachen} + } + , italian = [il]{fatto}[i]{fatti} + , portuguese = [o]{facto}[os]{factos} + , brazilian = [o]{fato}[os]{fatos} + , spanish = [el]{hecho}[los]{hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {факт}{факты} + } + , Crefname = { + , english = {Fact}{Facts} + , french = [Le]{fait}[Les]{faits} + , ngerman = { {Tatsache}{Tatsachen} + , Nominativ = [Die]{Tatsache}[Die]{Tatsachen} + , Genitiv = [Der]{Tatsache}[Der]{Tatsachen} + , Dativ = [Der]{Tatsache}[Den]{Tatsachen} + , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen} + } + , italian = [Il]{fatto}[I]{fatti} + , portuguese = [O]{facto}[Os]{factos} + , brazilian = [O]{fato}[Os]{fatos} + , spanish = [El]{hecho}[Los]{hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факт}{Факты} + } + } + +\NameTheorem { hypothesis } + { + , heading = { + , english = Hypothesis + , french = Hypothèse + , ngerman = Hypothese + , italian = Ipotesi + , portuguese = Hipótese + , brazilian = Hipótese + , spanish = Hipótesis + , schinese = 假设 + , tchinese = 假設 + , japanese = 仮設 + , russian = Гипотеза + } + , crefname = { + , english = {hypothesis}{hypotheses} + , french = [l']{hypothèse}[les]{hypothèses} + , ngerman = { {Hypothese}{Hypothesen} + , Nominativ = [die]{Hypothese}[die]{Hypothesen} + , Genitiv = [der]{Hypothese}[der]{Hypothesen} + , Dativ = [der]{Hypothese}[den]{Hypothesen} + , Akkusativ = [die]{Hypothese}[die]{Hypothesen} + } + , italian = [l']{ipotesi}[le]{ipotesi} + , portuguese = [a]{hipótese}[as]{hipóteses} + , brazilian = [a]{hipótese}[as]{hipóteses} + , spanish = [la]{hipótesis}[las]{hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {гипотеза}{гипотезы} + } + , Crefname = { + , english = {Hypothesis}{Hypotheses} + , french = [L']{hypothèse}[Les]{hypothèses} + , ngerman = { {Hypothese}{Hypothesen} + , Nominativ = [Die]{Hypothese}[Die]{Hypothesen} + , Genitiv = [Der]{Hypothese}[Der]{Hypothesen} + , Dativ = [Der]{Hypothese}[Den]{Hypothesen} + , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen} + } + , italian = [L']{ipotesi}[Le]{ipotesi} + , portuguese = [A]{hipótese}[As]{hipóteses} + , brazilian = [A]{hipótese}[As]{hipóteses} + , spanish = [La]{hipótesis}[Las]{hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотеза}{Гипотезы} + } + } + +\NameTheorem { lemma } + { + , heading = { + , english = Lemma + , french = Lemme + , ngerman = Lemma + , italian = Lemma + , portuguese = Lema + , brazilian = Lema + , spanish = Lema + , schinese = 引理 + , tchinese = 引理 + , japanese = 補題 + , russian = Лемма + } + , crefname = { + , english = {lemma}{Lemmas} + , french = [le]{lemme}[les]{lemmes} + , ngerman = { {Lemma}{Lemmata} + , Nominativ = [das]{Lemma}[die]{Lemmata} + , Genitiv = [des]{Lemmas}[der]{Lemmata} + , Dativ = [dem]{Lemma}[den]{Lemmata} + , Akkusativ = [das]{Lemma}[die]{Lemmata} + } + , italian = [il]{lemma}[i]{lemmi} + , portuguese = [o]{lema}[os]{lemas} + , brazilian = [o]{lema}[os]{lemas} + , spanish = [el]{lema}[las]{lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {лемма}{леммы} + } + , Crefname = { + , english = {Lemma}{Lemmas} + , french = [Le]{lemme}[Les]{lemmes} + , ngerman = { {Lemma}{Lemmata} + , Nominativ = [Das]{Lemma}[Die]{Lemmata} + , Genitiv = [Des]{Lemmas}[Der]{Lemmata} + , Dativ = [Dem]{Lemma}[Den]{Lemmata} + , Akkusativ = [Das]{Lemma}[Die]{Lemmata} + } + , italian = [Il]{lemma}[I]{lemmi} + , portuguese = [O]{lema}[Os]{lemas} + , brazilian = [O]{lema}[Os]{lemas} + , spanish = [el]{lema}[las]{lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Лемма}{Леммы} + } + } + +\NameTheorem { motivation } + { + , heading = { + , english = Motivation + , french = Motivation + , ngerman = Motivation + , italian = Motivazione + , portuguese = Motivação + , brazilian = Motivação + , spanish = Motivacion + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 % モチベーション + , russian = Мотивация + } + , crefname = { + , english = {motivation}{motivations} + , french = [la]{motivation}[les]{motivations} + , ngerman = { {Motivation}{Motivationen} + , Nominativ = [die]{Motivation}[die]{Motivationen} + , Genitiv = [der]{Motivation}[der]{Motivationen} + , Dativ = [der]{Motivation}[den]{Motivationen} + , Akkusativ = [die]{Motivation}[die]{Motivationen} + } + , italian = [la]{motivazione}[le]{motivazioni} + , portuguese = [a]{motivação}[as]{motivações} + , brazilian = [a]{motivação}[as]{motivações} + , spanish = [la]{motivacion}[las]{motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {мотивация}{мотивации} + } + , Crefname = { + , english = {Motivation}{Motivations} + , french = [La]{motivation}[Les]{motivations} + , ngerman = { {Motivation}{Motivationen} + , Nominativ = [Die]{Motivation}[Die]{Motivationen} + , Genitiv = [Der]{Motivation}[Der]{Motivationen} + , Dativ = [Der]{Motivation}[Den]{Motivationen} + , Akkusativ = [Die]{Motivation}[Die]{Motivationen} + } + , italian = [La]{motivazione}[Le]{motivazioni} + , portuguese = [A]{motivação}[As]{motivações} + , brazilian = [A]{motivação}[As]{motivações} + , spanish = [La]{motivacion}[Las]{motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивация}{Мотивации} + } + } + +\NameTheorem { notation } + { + , heading = { + , english = Notation + , french = Notation + , ngerman = Notation + , italian = Notazione + , portuguese = Notação + , brazilian = Notação + , spanish = Notación + , schinese = 记号 + , tchinese = 記號 + , japanese = 記法 + , russian = Нотация + } + , crefname = { + , english = {notation}{notations} + , french = [la]{notation}[les]{notations} + , ngerman = { {Notation}{Notationen} + , Nominativ = [die]{Notation}[die]{Notationen} + , Genitiv = [der]{Notation}[der]{Notationen} + , Dativ = [der]{Notation}[den]{Notationen} + , Akkusativ = [die]{Notation}[die]{Notationen} + } + , italian = [la]{notazione}[le]{notazioni} + , portuguese = [a]{notação}[as]{notações} + , brazilian = [a]{notação}[as]{notações} + , spanish = [la]{notación}[las]{notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {нотация}{нотации} + } + , Crefname = { + , english = {Notation}{Notations} + , french = [La]{notation}[Les]{notations} + , ngerman = { {Notation}{Notationen} + , Nominativ = [Die]{Notation}[Die]{Notationen} + , Genitiv = [Der]{Notation}[Der]{Notationen} + , Dativ = [Der]{Notation}[Den]{Notationen} + , Akkusativ = [Die]{Notation}[Die]{Notationen} + } + , italian = [La]{notazione}[Le]{notazioni} + , portuguese = [A]{notação}[As]{notações} + , brazilian = [A]{notação}[As]{notações} + , spanish = [La]{notación}[Las]{notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотация}{Нотации} + } + } + +\NameTheorem { observation } + { + , heading = { + , english = Observation + , french = Observation + , ngerman = Beobachtung + , italian = Osservazione + , portuguese = Observação + , brazilian = Observação + , spanish = Observación + , schinese = 观察 + , tchinese = 觀察 + , japanese = 観察 + , russian = Наблюдение + } + , crefname = { + , english = {observation}{observations} + , french = [la]{observation}[les]{observations} + , ngerman = { {Beobachtung}{Beobachtungen} + , Nominativ = [die]{Beobachtung}[die]{Beobachtungen} + , Genitiv = [der]{Beobachtung}[der]{Beobachtungen} + , Dativ = [der]{Beobachtung}[den]{Beobachtungen} + , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen} + } + , italian = [l']{osservazione}[le]{osservazioni} + , portuguese = [a]{observação}[as]{observações} + , brazilian = [a]{observação}[as]{observações} + , spanish = [la]{observación}[las]{observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {наблюдение}{наблюдения} + } + , Crefname = { + , english = {Observation}{Observations} + , french = [La]{observation}[Les]{observations} + , ngerman = { {Beobachtung}{Beobachtungen} + , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen} + , Genitiv = [Der]{Beobachtung}[Der]{Beobachtungen} + , Dativ = [Der]{Beobachtung}[Den]{Beobachtungen} + , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen} + } + , italian = [L']{osservazione}[Le]{osservazioni} + , portuguese = [A]{observação}[As]{observações} + , brazilian = [A]{observação}[As]{observações} + , spanish = [La]{observación}[Las]{observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдение}{Наблюдения} + } + } + +\NameTheorem { postulate } + { + , heading = { + , english = Postulate + , french = Postulat + , ngerman = Postulat + , italian = Postulato + , portuguese = Postulado + , brazilian = Postulado + , spanish = Postulado + , schinese = 公设 + , tchinese = 公設 + , japanese = 公準 + , russian = Постулат + } + , crefname = { + , english = {postulate}{postulates} + , french = [le]{postulat}[les]{postulats} + , ngerman = { {Postulat}{Postulate} + , Nominativ = [das]{Postulat}[die]{Postulate} + , Genitiv = [des]{Postulates}[der]{Postulate} + , Dativ = [dem]{Postulat}[den]{Postulaten} + , Akkusativ = [das]{Postulat}[die]{Postulate} + } + , italian = [il]{postulato}[i]{postulati} + , portuguese = [o]{postulado}[os]{postulados} + , brazilian = [o]{postulado}[os]{postulados} + , spanish = [el]{postulado}[los]{postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {постулат}{постулаты} + } + , Crefname = { + , english = {Postulate}{Postulates} + , french = [Le]{postulat}[Les]{postulats} + , ngerman = { {Postulat}{Postulate} + , Nominativ = [Das]{Postulat}[Die]{Postulate} + , Genitiv = [Des]{Postulates}[Der]{Postulate} + , Dativ = [Dem]{Postulat}[Den]{Postulaten} + , Akkusativ = [Das]{Postulat}[Die]{Postulate} + } + , italian = [Il]{postulato}[I]{postulati} + , portuguese = [O]{postulado}[Os]{postulados} + , brazilian = [O]{postulado}[Os]{postulados} + , spanish = [El]{postulado}[Los]{postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулат}{Постулаты} + } + } + +\NameTheorem { problem } + { + , heading = { + , english = Problem + , french = Problème + , ngerman = Problem + , italian = Problema + , portuguese = Problema + , brazilian = Problema + , spanish = Problema + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Проблема + } + , crefname = { + , english = {problem}{problems} + , french = [le]{problème}[les]{problèmes} + , ngerman = { {Problem}{Probleme} + , Nominativ = [das]{Problem}[die]{Probleme} + , Genitiv = [des]{Problems}[der]{Probleme} + , Dativ = [dem]{Problem}[den]{Problemen} + , Akkusativ = [das]{Problem}[die]{Probleme} + } + , italian = [il]{problema}[i]{problemi} + , portuguese = [o]{problema}[os]{problemas} + , brazilian = [o]{problema}[os]{problemas} + , spanish = [el]{problema}[los]{problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {проблема}{проблемы} + } + , Crefname = { + , english = {Problem}{Problems} + , french = [Le]{problème}[Les]{problèmes} + , ngerman = { {Problem}{Probleme} + , Nominativ = [Das]{Problem}[Die]{Probleme} + , Genitiv = [Des]{Problems}[Der]{Probleme} + , Dativ = [Dem]{Problem}[Den]{Problemen} + , Akkusativ = [Das]{Problem}[Die]{Probleme} + } + , italian = [Il]{problema}[I]{problemi} + , portuguese = [O]{problema}[Os]{problemas} + , brazilian = [O]{problema}[Os]{problemas} + , spanish = [El]{problema}[Los]{problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблема}{Проблемы} + } + } + +\NameTheorem { property } + { + , heading = { + , english = Property + , french = Propriété + , ngerman = Eigenschaft + , italian = Proprietà + , portuguese = Propriedade + , brazilian = Propriedade + , spanish = Propiedad + , schinese = 性质 + , tchinese = 性質 + , japanese = 性質 + , russian = Имущество + } + , crefname = { + , english = {property}{properties} + , french = [la]{propriété}[les]{propriétés} + , ngerman = { {Eigenschaft}{Eigenschaften} + , Nominativ = [die]{Eigenschaft}[die]{Eigenschaften} + , Genitiv = [der]{Eigenschaft}[der]{Eigenschaften} + , Dativ = [der]{Eigenschaft}[den]{Eigenschaften} + , Akkusativ = [die]{Eigenschaft}[die]{Eigenschaften} + } + , italian = [la]{proprietà}[le]{proprietà} + , portuguese = [a]{propriedade}[as]{propriedades} + , brazilian = [a]{propriedade}[as]{propriedades} + , spanish = [la]{propiedad}[las]{propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {имущество}{имущества} + } + , Crefname = { + , english = {Property}{Properties} + , french = [La]{propriété}[Les]{propriétés} + , ngerman = { {Eigenschaft}{Eigenschaften} + , Nominativ = [Die]{Eigenschaft}[Die]{Eigenschaften} + , Genitiv = [Der]{Eigenschaft}[Der]{Eigenschaften} + , Dativ = [Der]{Eigenschaft}[Den]{Eigenschaften} + , Akkusativ = [Die]{Eigenschaft}[Die]{Eigenschaften} + } + , italian = [La]{proprietà}[Le]{proprietà} + , portuguese = [A]{propriedade}[As]{propriedades} + , brazilian = [A]{propriedade}[As]{propriedades} + , spanish = [La]{propiedad}[Las]{propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущество}{Имущества} + } + } + +\NameTheorem { proposition } + { + , heading = { + , english = Proposition + , french = Proposition + , ngerman = Proposition + , italian = Proposizione + , portuguese = Proposição + , brazilian = Proposição + , spanish = Proposición + , schinese = 命题 + , tchinese = 命題 + , japanese = 命題 + , russian = Предложение + } + , crefname = { + , english = {proposition}{propositions} + , french = [la]{proposition}[les]{propositions} + , ngerman = { {Proposition}{Propositionen} + , Nominativ = [die]{Proposition}[die]{Propositionen} + , Genitiv = [der]{Proposition}[der]{Propositionen} + , Dativ = [der]{Proposition}[den]{Propositionen} + , Akkusativ = [die]{Proposition}[die]{Propositionen} + } + , italian = [la]{proposizione}[le]{proposte} + , portuguese = [a]{proposição}[as]{proposições} + , brazilian = [a]{proposição}[as]{proposições} + , spanish = [la]{proposición}[las]{proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {предложение}{предложения} + } + , Crefname = { + , english = {Proposition}{Propositions} + , french = [La]{proposition}[Les]{propositions} + , ngerman = { {Proposition}{Propositionen} + , Nominativ = [Die]{Proposition}[Die]{Propositionen} + , Genitiv = [Der]{Proposition}[Der]{Propositionen} + , Dativ = [Der]{Proposition}[Den]{Propositionen} + , Akkusativ = [Die]{Proposition}[Die]{Propositionen} + } + , italian = [La]{proposizione}[Le]{proposte} + , portuguese = [A]{proposição}[As]{proposições} + , brazilian = [A]{proposição}[As]{proposições} + , spanish = [La]{proposición}[Las]{proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложение}{Предложения} + } + } + +\NameTheorem { question } + { + , heading = { + , english = Question + , french = Question + , ngerman = Frage + , italian = Domanda + , portuguese = Pergunta + , brazilian = Pergunta + , spanish = Pregunta + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Вопрос + } + , crefname = { + , english = {question}{questions} + , french = [la]{question}[les]{questions} + , ngerman = { {Frage}{Fragen} + , Nominativ = [die]{Frage}[die]{Fragen} + , Genitiv = [der]{Frage}[der]{Fragen} + , Dativ = [der]{Frage}[den]{Fragen} + , Akkusativ = [die]{Frage}[die]{Fragen} + } + , italian = [la]{domanda}[le]{domande} + , portuguese = [a]{pergunta}[as]{perguntas} + , brazilian = [a]{pergunta}[as]{perguntas} + , spanish = [la]{pregunta}[las]{preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {вопрос}{вопросы} + } + , Crefname = { + , english = {Question}{Questions} + , french = [La]{question}[Les]{questions} + , ngerman = { {Frage}{Fragen} + , Nominativ = [Die]{Frage}[Die]{Fragen} + , Genitiv = [Der]{Frage}[Der]{Fragen} + , Dativ = [Der]{Frage}[Den]{Fragen} + , Akkusativ = [Die]{Frage}[Die]{Fragen} + } + , italian = [La]{domanda}[Le]{domande} + , portuguese = [A]{pergunta}[As]{perguntas} + , brazilian = [A]{pergunta}[As]{perguntas} + , spanish = [La]{pregunta}[Las]{preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопрос}{Вопросы} + } + } + +\NameTheorem { recall } + { + , heading = { + , english = Recall + , french = Rappel + , ngerman = Erinnerung + , italian = Richiamo + , portuguese = Recordação + , brazilian = Recordação + , spanish = Recuerdo + , schinese = 回顾 + , tchinese = 回顧 + , japanese = 回顧 + , russian = Напоминание + } + , crefname = { + , english = {recall}{recalls} + , french = [le]{rappel}[les]{rappels} + , ngerman = { {Erinnerung}{Erinnerungen} + , Nominativ = [die]{Erinnerung}[die]{Erinnerungen} + , Genitiv = [der]{Erinnerung}[der]{Erinnerungen} + , Dativ = [der]{Erinnerung}[den]{Erinnerungen} + , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen} + } + , italian = [il]{richiamo}[i]{richiami} + , portuguese = [a]{recordação}[as]{recordações} + , brazilian = [a]{recordação}[as]{recordações} + , spanish = [el]{recuerdo}[los]{recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {напоминание}{напоминания} + } + , Crefname = { + , english = {Recall}{Recalls} + , french = [Le]{rappel}[Les]{rappels} + , ngerman = { {Erinnerung}{Erinnerungen} + , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen} + , Genitiv = [Der]{Erinnerung}[Der]{Erinnerungen} + , Dativ = [Der]{Erinnerung}[Den]{Erinnerungen} + , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen} + } + , italian = [Il]{richiamo}[I]{richiami} + , portuguese = [A]{recordação}[As]{recordações} + , brazilian = [A]{recordação}[As]{recordações} + , spanish = [El]{recuerdo}[Los]{recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминание}{Напоминания} + } + } + +\NameTheorem { remark } + { + , heading = { + , english = Remark + , french = Remarque + , ngerman = Bemerkung + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 备注 + , tchinese = 備註 + , japanese = 注釈 + , russian = Замечание + } + , crefname = { + , english = {remark}{remarks} + , french = [la]{remarque}[les]{remarques} + , ngerman = { {Bemerkung}{Bemerkungen} + , Nominativ = [die]{Bemerkung}[die]{Bemerkungen} + , Genitiv = [der]{Bemerkung}[der]{Bemerkungen} + , Dativ = [der]{Bemerkung}[den]{Bemerkungen} + , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen} + } + , italian = [il]{commento}[i]{commenti} + , portuguese = [o]{comentário}[os]{comentários} + , brazilian = [o]{comentário}[os]{comentários} + , spanish = [el]{comentario}[los]{comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {замечание}{замечания} + } + , Crefname = { + , english = {Remark}{Remarks} + , french = [La]{remarque}[Les]{remarques} + , ngerman = { {Bemerkung}{Bemerkungen} + , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen} + , Genitiv = [Der]{Bemerkung}[Der]{Bemerkungen} + , Dativ = [Der]{Bemerkung}[Den]{Bemerkungen} + , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen} + } + , italian = [Il]{commento}[I]{commenti} + , portuguese = [O]{comentário}[Os]{comentários} + , brazilian = [O]{comentário}[Os]{comentários} + , spanish = [El]{comentario}[Los]{comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечание}{Замечания} + } + } + +\NameTheorem { theorem } + { + , heading = { + , english = Theorem + , french = Théorème + , ngerman = Satz + , italian = Teorema + , portuguese = Teorema + , brazilian = Teorema + , spanish = Teorema + , schinese = 定理 + , tchinese = 定理 + , japanese = 定理 + , russian = Теорема + } + , crefname = { + , english = {theorem}{theorems} + , french = [le]{théorème}[les]{théorèmes} + , ngerman = { {Satz}{Sätze} + , Nominativ = [der]{Satz}[die]{Sätze} + , Genitiv = [des]{Satzes}[der]{Sätze} + , Dativ = [dem]{Satz}[den]{Sätzen} + , Akkusativ = [den]{Satz}[die]{Sätze} + } + , italian = [il]{teorema}[i]{teoremi} + , portuguese = [o]{teorema}[os]{teoremas} + , brazilian = [o]{teorema}[os]{teoremas} + , spanish = [el]{teorema}[los]{teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {теорема}{теоремы} + } + , Crefname = { + , english = {Theorem}{Theorems} + , french = [Le]{théorème}[Les]{théorèmes} + , ngerman = { {Satz}{Sätze} + , Nominativ = [Der]{Satz}[Die]{Sätze} + , Genitiv = [Des]{Satzes}[Der]{Sätze} + , Dativ = [Dem]{Satz}[Den]{Sätzen} + , Akkusativ = [Den]{Satz}[Die]{Sätze} + } + , italian = [Il]{teorema}[I]{teoremi} + , portuguese = [O]{teorema}[Os]{teoremas} + , brazilian = [O]{teorema}[Os]{teoremas} + , spanish = [El]{teorema}[Los]{teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теорема}{Теоремы} + } + } + +\NameTheorem { definition-corollary } { combined = { definition ; corollary } } +\NameTheorem { definition-proposition } { combined = { definition ; proposition } } +\NameTheorem { definition-theorem } { combined = { definition ; theorem } } + +\NameTheorem { corollary-definition } { combined = { corollary ; definition } } +\NameTheorem { proposition-definition } { combined = { proposition ; definition } } +\NameTheorem { theorem-definition } { combined = { theorem ; definition } } diff --git a/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty b/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty index d8e2ffbc35f..355e7a6211b 100644 --- a/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty +++ b/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty @@ -12,7 +12,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {create-theorem} - {2024/02/20} {} + {2024/02/20a} {} {Initializing theorem-like environments with multilingual support} \keys_define:nn { create-theorem } @@ -1171,1399 +1171,12 @@ } -\bool_if:NF \l__crthm_presetname_bool { \endinput } - - -%============================= -% --- Preset Names --- -%============================= - -\NameTheorem { application } - { - , heading = { - , english = Application - , french = Application - , ngerman = Anwendung - , italian = Applicazione - , portuguese = Aplicação - , brazilian = Aplicação - , spanish = Aplicación - , schinese = 应用 - , tchinese = 應用 - , japanese = 応用 - , russian = Применение - } - , crefname = { - , english = {application}{applications} - , french = [l']{application}[les]{applications} - , ngerman = { {Anwendung}{Anwendungen} - , Nominativ = [die]{Anwendung}[die]{Anwendungen} - , Genitiv = [der]{Anwendung}[der]{Anwendungen} - , Dativ = [der]{Anwendung}[den]{Anwendungen} - , Akkusativ = [die]{Anwendung}[die]{Anwendungen} - } - , italian = [l']{applicazione}[le]{applicazioni} - , portuguese = [a]{aplicação}[as]{aplicações} - , brazilian = [a]{aplicação}[as]{aplicações} - , spanish = [la]{aplicación}[las]{aplicaciones} - , schinese = {应用}{应用} - , tchinese = {應用}{應用} - , japanese = {応用}{応用} - , russian = {применение}{приложения} - } - , Crefname = { - , english = {Application}{Applications} - , french = [L']{application}[Les]{applications} - , ngerman = { {Anwendung}{Anwendungen} - , Nominativ = [Die]{Anwendung}[Die]{Anwendungen} - , Genitiv = [Der]{Anwendung}[Der]{Anwendungen} - , Dativ = [Der]{Anwendung}[Den]{Anwendungen} - , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen} - } - , italian = [L']{applicazione}[Le]{applicazioni} - , portuguese = [A]{aplicação}[As]{aplicações} - , brazilian = [A]{aplicação}[As]{aplicações} - , spanish = [La]{aplicación}[Las]{aplicaciones} - , schinese = {应用}{应用} - , tchinese = {應用}{應用} - , japanese = {応用}{応用} - , russian = {Применение}{Приложения} - } - } - -\NameTheorem { assertion } - { - , heading = { - , english = Assertion - , french = Assertion - , ngerman = Assertion - , italian = Asserzione - , portuguese = Asserção - , brazilian = Asserção - , spanish = Aserción - , schinese = 断言 - , tchinese = 斷言 - , japanese = 断言 - , russian = Утверждение - } - , crefname = { - , english = {assertion}{assertions} - , french = [l']{assertion}[les]{assertions} - , ngerman = { {Assertion}{Assertionen} - , Nominativ = [die]{Assertion}[die]{Assertionen} - , Genitiv = [der]{Assertion}[der]{Assertionen} - , Dativ = [der]{Assertion}[den]{Assertionen} - , Akkusativ = [die]{Assertion}[die]{Assertionen} - } - , italian = [l']{asserzione}[le]{asserzioni} - , portuguese = [a]{asserção}[as]{asserções} - , brazilian = [a]{asserção}[as]{asserções} - , spanish = [la]{aserción}[las]{aserciones} - , schinese = {断言}{断言} - , tchinese = {斷言}{斷言} - , japanese = {断言}{断言} - , russian = {утверждение}{утверждения} - } - , Crefname = { - , english = {Assertion}{Assertions} - , french = [L']{assertion}[Les]{assertions} - , ngerman = { {Assertion}{Assertionen} - , Nominativ = [Die]{Assertion}[Die]{Assertionen} - , Genitiv = [Der]{Assertion}[Der]{Assertionen} - , Dativ = [Der]{Assertion}[Den]{Assertionen} - , Akkusativ = [Die]{Assertion}[Die]{Assertionen} - } - , italian = [L']{asserzione}[Le]{asserzioni} - , portuguese = [A]{asserção}[As]{asserções} - , brazilian = [A]{asserção}[As]{asserções} - , spanish = [La]{aserción}[Las]{aserciones} - , schinese = {断言}{断言} - , tchinese = {斷言}{斷言} - , japanese = {断言}{断言} - , russian = {Утверждение}{Утверждения} - } - } - -\NameTheorem { assumption } - { - , heading = { - , english = Assumption - , french = Supposition - , ngerman = Annahme - , italian = Supposizione - , portuguese = Suposição - , brazilian = Suposição - , spanish = Suposición - , schinese = 假定 - , tchinese = 假定 - , japanese = 仮定 - , russian = Предположение - } - , crefname = { - , english = {assumption}{assumptions} - , french = [la]{supposition}[les]{suppositions} - , ngerman = { {Annahme}{Annahmen} - , Nominativ = [die]{Annahme}[die]{Annahmen} - , Genitiv = [der]{Annahme}[der]{Annahmen} - , Dativ = [der]{Annahme}[den]{Annahmen} - , Akkusativ = [die]{Annahme}[die]{Annahmen} - } - , italian = [la]{supposizione}[le]{supposizioni} - , portuguese = [a]{suposição}[as]{suposições} - , brazilian = [a]{suposição}[as]{suposições} - , spanish = [la]{suposición}[las]{suposiciones} - , schinese = {假定}{假定} - , tchinese = {假定}{假定} - , japanese = {仮定}{仮定} - , russian = {предположение}{предположения} - } - , Crefname = { - , english = {Assumption}{Assumptions} - , french = [La]{supposition}[Les]{suppositions} - , ngerman = { {Annahme}{Annahmen} - , Nominativ = [Die]{Annahme}[Die]{Annahmen} - , Genitiv = [Der]{Annahme}[Der]{Annahmen} - , Dativ = [Der]{Annahme}[Den]{Annahmen} - , Akkusativ = [Die]{Annahme}[Die]{Annahmen} - } - , italian = [la]{supposizione}[le]{supposizioni} - , portuguese = [A]{suposição}[As]{suposições} - , brazilian = [A]{suposição}[As]{suposições} - , spanish = [La]{suposición}[Las]{suposiciones} - , schinese = {假定}{假定} - , tchinese = {假定}{假定} - , japanese = {仮定}{仮定} - , russian = {Предположение}{Предположения} - } - } - -\NameTheorem { axiom } - { - , heading = { - , english = Axiom - , french = Axiome - , ngerman = Axiom - , italian = Assioma - , portuguese = Axioma - , brazilian = Axioma - , spanish = Axioma - , schinese = 公理 - , tchinese = 公理 - , japanese = 公理 - , russian = Аксиома - } - , crefname = { - , english = {axiom}{axioms} - , french = [l']{axiome}[les]{axiomes} - , ngerman = { {Axiom}{Axiome} - , Nominativ = [das]{Axiom}[die]{Axiome} - , Genitiv = [des]{Axioms}[der]{Axiome} - , Dativ = [dem]{Axiom}[den]{Axiomen} - , Akkusativ = [das]{Axiom}[die]{Axiome} - } - , italian = [l']{assioma}[gli]{assiomi} - , portuguese = [o]{axioma}[os]{axiomas} - , brazilian = [o]{axioma}[os]{axiomas} - , spanish = [el]{axioma}[los]{axiomas} - , schinese = {公理}{公理} - , tchinese = {公理}{公理} - , japanese = {公理}{公理} - , russian = {аксиома}{аксиомы} - } - , Crefname = { - , english = {Axiom}{Axioms} - , french = [L']{axiome}[Les]{axiomes} - , ngerman = { {Axiom}{Axiome} - , Nominativ = [Das]{Axiom}[Die]{Axiome} - , Genitiv = [Des]{Axioms}[Der]{Axiome} - , Dativ = [Dem]{Axiom}[Den]{Axiomen} - , Akkusativ = [Das]{Axiom}[Die]{Axiome} - } - , italian = [L']{assioma}[Gli]{assiomi} - , portuguese = [O]{axioma}[Os]{axiomas} - , brazilian = [O]{axioma}[Os]{axiomas} - , spanish = [El]{axioma}[Los]{axiomas} - , schinese = {公理}{公理} - , tchinese = {公理}{公理} - , japanese = {公理}{公理} - , russian = {Аксиома}{Аксиомы} - } - } - -\NameTheorem { claim } - { - , heading = { - , english = Claim - , french = Affirmation - , ngerman = Behauptung - , italian = Affermazione - , portuguese = Afirmação - , brazilian = Afirmação - , spanish = Afirmación - , schinese = 断言 - , tchinese = 斷言 - , japanese = 断言 - , russian = Утверждение - } - , crefname = { - , english = {claim}{claims} - , french = [l']{affirmation}[les]{affirmations} - , ngerman = { {Behauptung}{Behauptungen} - , Nominativ = [die]{Behauptung}[die]{Behauptungen} - , Genitiv = [der]{Behauptung}[der]{Behauptungen} - , Dativ = [der]{Behauptung}[den]{Behauptungen} - , Akkusativ = [die]{Behauptung}[die]{Behauptungen} - } - , italian = [l']{affermazione}[le]{affermazioni} - , portuguese = [a]{afirmação}[as]{afirmações} - , brazilian = [a]{afirmação}[as]{afirmações} - , spanish = [la]{afirmación}[las]{afirmaciones} - , schinese = {断言}{断言} - , tchinese = {斷言}{斷言} - , japanese = {断言}{断言} - , russian = {утверждение}{утверждения} - } - , Crefname = { - , english = {Claim}{Claims} - , french = [L']{affirmation}[Les]{affirmations} - , ngerman = { {Behauptung}{Behauptungen} - , Nominativ = [Die]{Behauptung}[Die]{Behauptungen} - , Genitiv = [Der]{Behauptung}[Der]{Behauptungen} - , Dativ = [Der]{Behauptung}[Den]{Behauptungen} - , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen} - } - , italian = [L']{affermazione}[Le]{affermazioni} - , portuguese = [A]{afirmação}[As]{afirmações} - , brazilian = [A]{afirmação}[As]{afirmações} - , spanish = [La]{afirmación}[Las]{afirmaciones} - , schinese = {断言}{断言} - , tchinese = {斷言}{斷言} - , japanese = {断言}{断言} - , russian = {Утверждение}{Утверждения} - } - } - -\NameTheorem { conclusion } - { - , heading = { - , english = Conclusion - , french = Conclusion - , ngerman = Schlussfolgerung - , italian = Conclusione - , portuguese = Conclusão - , brazilian = Conclusão - , spanish = Conclusión - , schinese = 结论 - , tchinese = 結論 - , japanese = 結論 - , russian = Вывод - } - , crefname = { - , english = {conclusion}{conclusions} - , french = [la]{conclusion}[Les]{conclusions} - , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} - , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} - , Genitiv = [der]{Schlussfolgerung}[der]{Schlussfolgerungen} - , Dativ = [der]{Schlussfolgerung}[den]{Schlussfolgerungen} - , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} - } - , italian = [la]{conclusione}[le]{conclusioni} - , portuguese = [a]{conclusão}[as]{conclusões} - , brazilian = [a]{conclusão}[as]{conclusões} - , spanish = [la]{conclusión}[las]{conclusiones} - , schinese = {结论}{结论} - , tchinese = {結論}{結論} - , japanese = {結論}{結論} - , russian = {вывод}{выводы} - } - , Crefname = { - , english = {Conclusion}{Conclusions} - , french = [La]{conclusion}[Les]{conclusions} - , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} - , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} - , Genitiv = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen} - , Dativ = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen} - , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} - } - , italian = [La]{conclusione}[Le]{conclusioni} - , portuguese = [A]{conclusão}[As]{conclusões} - , brazilian = [A]{conclusão}[As]{conclusões} - , spanish = [La]{conclusión}[Las]{conclusiones} - , schinese = {结论}{结论} - , tchinese = {結論}{結論} - , japanese = {結論}{結論} - , russian = {Вывод}{Выводы} - } - } - -\NameTheorem { conjecture } - { - , heading = { - , english = Conjecture - , french = Conjecture - , ngerman = Vermutung - , italian = Congettura - , portuguese = Conjetura - , brazilian = Conjectura - , spanish = Conjetura - , schinese = 猜想 - , tchinese = 猜想 - , japanese = 予想 - , russian = Гипотеза - } - , crefname = { - , english = {conjecture}{conjectures} - , french = [la]{conjecture}[les]{conjectures} - , ngerman = { {Vermutung}{Vermutungen} - , Nominativ = [die]{Vermutung}[die]{Vermutungen} - , Genitiv = [der]{Vermutung}[der]{Vermutungen} - , Dativ = [der]{Vermutung}[den]{Vermutungen} - , Akkusativ = [die]{Vermutung}[die]{Vermutungen} - } - , italian = [la]{congettura}[le]{congetture} - , portuguese = [a]{conjetura}[as]{conjeturas} - , brazilian = [a]{conjectura}[as]{conjecturas} - , spanish = [la]{conjetura}[las]{conjeturas} - , schinese = {猜想}{猜想} - , tchinese = {猜想}{猜想} - , japanese = {予想}{予想} - , russian = {гипотеза}{гипотезы} - } - , Crefname = { - , english = {Conjecture}{Conjectures} - , french = [La]{conjecture}[Les]{conjectures} - , ngerman = { {Vermutung}{Vermutungen} - , Nominativ = [Die]{Vermutung}[Die]{Vermutungen} - , Genitiv = [Der]{Vermutung}[Der]{Vermutungen} - , Dativ = [Der]{Vermutung}[Den]{Vermutungen} - , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen} - } - , italian = [La]{congettura}[Le]{congetture} - , portuguese = [A]{conjetura}[As]{conjeturas} - , brazilian = [A]{conjectura}[As]{conjecturas} - , spanish = [La]{conjetura}[Las]{conjeturas} - , schinese = {猜想}{猜想} - , tchinese = {猜想}{猜想} - , japanese = {予想}{予想} - , russian = {Гипотеза}{Гипотезы} - } - } - -\NameTheorem { construction } - { - , heading = { - , english = Construction - , french = Construction - , ngerman = Konstruktion - , italian = Costruzione - , portuguese = Construção - , brazilian = Construção - , spanish = Construcción - , schinese = 构造 - , tchinese = 構造 - , japanese = 構造 - , russian = Конструкция - } - , crefname = { - , english = {construction}{constructions} - , french = [la]{construction}[les]{constructions} - , ngerman = { {Konstruktion}{Konstruktionen} - , Nominativ = [die]{Konstruktion}[die]{Konstruktionen} - , Genitiv = [der]{Konstruktion}[der]{Konstruktionen} - , Dativ = [der]{Konstruktion}[den]{Konstruktionen} - , Akkusativ = [die]{Konstruktion}[die]{Konstruktionen} - } - , italian = [la]{costruzione}[le]{costruzioni} - , portuguese = [a]{construção}[as]{construções} - , brazilian = [a]{construção}[as]{construções} - , spanish = [la]{construcción}[las]{construcciones} - , schinese = {构造}{构造} - , tchinese = {構造}{構造} - , japanese = {構造}{構造} - , russian = {конструкция}{конструкции} - } - , Crefname = { - , english = {Construction}{Constructions} - , french = [La]{construction}[Les]{constructions} - , ngerman = { {Konstruktion}{Konstruktionen} - , Nominativ = [Die]{Konstruktion}[Die]{Konstruktionen} - , Genitiv = [Der]{Konstruktion}[Der]{Konstruktionen} - , Dativ = [Der]{Konstruktion}[Den]{Konstruktionen} - , Akkusativ = [Die]{Konstruktion}[Die]{Konstruktionen} - } - , italian = [La]{costruzione}[Le]{costruzioni} - , portuguese = [A]{construção}[As]{construções} - , brazilian = [A]{construção}[As]{construções} - , spanish = [La]{construcción}[Las]{construcciones} - , schinese = {构造}{构造} - , tchinese = {構造}{構造} - , japanese = {構造}{構造} - , russian = {Конструкция}{Конструкции} - } - } - -\NameTheorem { convention } - { - , heading = { - , english = Convention - , french = Convention - , ngerman = Konvention - , italian = Convenzione - , portuguese = Convenção - , brazilian = Convenção - , spanish = Convención - , schinese = 约定 - , tchinese = 約定 - , japanese = 慣例 - , russian = Конвенция - } - , crefname = { - , english = {convention}{conventions} - , french = [la]{convention}[les]{conventions} - , ngerman = { {Konvention}{Konventionen} - , Nominativ = [die]{Konvention}[die]{Konventionen} - , Genitiv = [der]{Konvention}[der]{Konventionen} - , Dativ = [der]{Konvention}[den]{Konventionen} - , Akkusativ = [die]{Konvention}[die]{Konventionen} - } - , italian = [la]{convenzione}[le]{convenzioni} - , portuguese = [a]{convenção}[as]{convenções} - , brazilian = [a]{convenção}[as]{convenções} - , spanish = [la]{convención}[las]{convenciones} - , schinese = {约定}{约定} - , tchinese = {約定}{約定} - , japanese = {慣例}{慣例} - , russian = {конвенция}{конвенции} - } - , Crefname = { - , english = {Convention}{Conventions} - , french = [La]{convention}[Les]{conventions} - , ngerman = { {Konvention}{Konventionen} - , Nominativ = [Die]{Konvention}[Die]{Konventionen} - , Genitiv = [Der]{Konvention}[Der]{Konventionen} - , Dativ = [Der]{Konvention}[Den]{Konventionen} - , Akkusativ = [Die]{Konvention}[Die]{Konventionen} - } - , italian = [La]{convenzione}[Le]{convenzioni} - , portuguese = [A]{convenção}[As]{convenções} - , brazilian = [A]{convenção}[As]{convenções} - , spanish = [La]{convención}[Las]{convenciones} - , schinese = {约定}{约定} - , tchinese = {約定}{約定} - , japanese = {慣例}{慣例} - , russian = {Конвенция}{Конвенции} - } - } - -\NameTheorem { corollary } - { - , heading = { - , english = Corollary - , french = Corollaire - , ngerman = Korollar - , italian = Corollario - , portuguese = Corolário - , brazilian = Corolário - , spanish = Corolario - , schinese = 推论 - , tchinese = 推論 - , japanese = 系 - , russian = Следствие - } - , crefname = { - , english = {corollary}{corollaries} - , french = [le]{corollaire}[les]{corollaires} - , ngerman = { {Korollar}{Korollare} - , Nominativ = [das]{Korollar}[die]{Korollare} - , Genitiv = [des]{Korollars}[der]{Korollare} - , Dativ = [dem]{Korollar}[den]{Korollaren} - , Akkusativ = [das]{Korollar}[die]{Korollare} - } - , italian = [il]{corollario}[i]{corollari} - , portuguese = [o]{corolário}[os]{corolários} - , brazilian = [o]{corolário}[os]{corolários} - , spanish = [el]{corolario}[los]{corolarios} - , schinese = {推论}{推论} - , tchinese = {推論}{推論} - , japanese = {系}{系} - , russian = {следствие}{следствия} - } - , Crefname = { - , english = {Corollary}{Corollaries} - , french = [Le]{corollaire}[Les]{corollaires} - , ngerman = { {Korollar}{Korollare} - , Nominativ = [Das]{Korollar}[Die]{Korollare} - , Genitiv = [Des]{Korollars}[Der]{Korollare} - , Dativ = [Dem]{Korollar}[Den]{Korollaren} - , Akkusativ = [Das]{Korollar}[Die]{Korollare} - } - , italian = [Il]{corollario}[I]{corollari} - , portuguese = [O]{corolário}[Os]{corolários} - , brazilian = [O]{corolário}[Os]{corolários} - , spanish = [El]{corolario}[Los]{corolarios} - , schinese = {推论}{推论} - , tchinese = {推論}{推論} - , japanese = {系}{系} - , russian = {Следствие}{Следствия} - } - } - -\NameTheorem { definition } - { - , heading = { - , english = Definition - , french = Définition - , ngerman = Definition - , italian = Definizione - , portuguese = Definição - , brazilian = Definição - , spanish = Definición - , schinese = 定义 - , tchinese = 定義 - , japanese = 定義 - , russian = Определение - } - , crefname = { - , english = {definition}{definitions} - , french = [la]{définition}[les]{définitions} - , ngerman = { {Definition}{Definitionen} - , Nominativ = [die]{Definition}[die]{Definitionen} - , Genitiv = [der]{Definition}[der]{Definitionen} - , Dativ = [der]{Definition}[den]{Definitionen} - , Akkusativ = [die]{Definition}[die]{Definitionen} - } - , italian = [la]{definizione}[le]{definizioni} - , portuguese = [a]{definição}[as]{definições} - , brazilian = [a]{definição}[as]{definições} - , spanish = [la]{definición}[las]{definiciones} - , schinese = {定义}{定义} - , tchinese = {定義}{定義} - , japanese = {定義}{定義} - , russian = {определение}{определения} - } - , Crefname = { - , english = {Definition}{Definitions} - , french = [La]{définition}[Les]{définitions} - , ngerman = { {Definition}{Definitionen} - , Nominativ = [Die]{Definition}[Die]{Definitionen} - , Genitiv = [Der]{Definition}[Der]{Definitionen} - , Dativ = [Der]{Definition}[Den]{Definitionen} - , Akkusativ = [Die]{Definition}[Die]{Definitionen} - } - , italian = [La]{definizione}[Le]{definizioni} - , portuguese = [A]{definição}[As]{definições} - , brazilian = [A]{definição}[As]{definições} - , spanish = [La]{definición}[Las]{definiciones} - , schinese = {定义}{定义} - , tchinese = {定義}{定義} - , japanese = {定義}{定義} - , russian = {Определение}{Определения} - } - } - -\NameTheorem { example } - { - , heading = { - , english = Example - , french = Exemple - , ngerman = Beispiel - , italian = Esempio - , portuguese = Exemplo - , brazilian = Exemplo - , spanish = Ejemplo - , schinese = 例 - , tchinese = 例 - , japanese = 例 - , russian = Пример - } - , crefname = { - , english = {example}{examples} - , french = [l']{exemple}[les]{exemples} - , ngerman = { {Beispiel}{Beispiele} - , Nominativ = [das]{Beispiel}[die]{Beispiele} - , Genitiv = [des]{Beispiels}[der]{Beispiele} - , Dativ = [dem]{Beispiel}[den]{Beispielen} - , Akkusativ = [das]{Beispiel}[die]{Beispiele} - } - , italian = [l']{esempio}[gli]{esempi} - , portuguese = [o]{exemplo}[os]{exemplos} - , brazilian = [o]{exemplo}[os]{exemplos} - , spanish = [el]{ejemplo}[los]{ejemplos} - , schinese = {例}{例} - , tchinese = {例}{例} - , japanese = {例}{例} - , russian = {пример}{примеры} - } - , Crefname = { - , english = {Example}{Examples} - , french = [L']{exemple}[Les]{exemples} - , ngerman = { {Beispiel}{Beispiele} - , Nominativ = [Das]{Beispiel}[Die]{Beispiele} - , Genitiv = [Des]{Beispiels}[Der]{Beispiele} - , Dativ = [Dem]{Beispiel}[Den]{Beispielen} - , Akkusativ = [Das]{Beispiel}[Die]{Beispiele} - } - , italian = [L']{esempio}[Gli]{esempi} - , portuguese = [O]{exemplo}[Os]{exemplos} - , brazilian = [O]{exemplo}[Os]{exemplos} - , spanish = [El]{ejemplo}[Los]{ejemplos} - , schinese = {例}{例} - , tchinese = {例}{例} - , japanese = {例}{例} - , russian = {Пример}{Примеры} - } - } - -\NameTheorem { exercise } - { - , heading = { - , english = Exercise - , french = Exercice - , ngerman = Übung - , italian = Esercizio - , portuguese = Exercício - , brazilian = Exercício - , spanish = Ejercicio - , schinese = 练习 - , tchinese = 練習 - , japanese = 練習 - , russian = Упражнение - } - , crefname = { - , english = {exercise}{exercises} - , french = [l']{exercice}[les]{exercices} - , ngerman = { {Übung}{Übungen} - , Nominativ = [die]{Übung}[die]{Übungen} - , Genitiv = [der]{Übung}[der]{Übungen} - , Dativ = [der]{Übung}[den]{Übungen} - , Akkusativ = [die]{Übung}[die]{Übungen} - } - , italian = [l']{esercizio}[gli]{esercizi} - , portuguese = [o]{exercício}[os]{exercícios} - , brazilian = [o]{exercício}[os]{exercícios} - , spanish = [el]{ejercicio}[los]{ejercicios} - , schinese = {练习}{练习} - , tchinese = {練習}{練習} - , japanese = {練習}{練習} - , russian = {упражнение}{упражнения} - } - , Crefname = { - , english = {Exercise}{Exercises} - , french = [L']{exercice}[Les]{exercices} - , ngerman = { {Übung}{Übungen} - , Nominativ = [Die]{Übung}[Die]{Übungen} - , Genitiv = [Der]{Übung}[Der]{Übungen} - , Dativ = [Der]{Übung}[Den]{Übungen} - , Akkusativ = [Die]{Übung}[Die]{Übungen} - } - , italian = [L']{esercizio}[Gli]{esercizi} - , portuguese = [O]{exercício}[Os]{exercícios} - , brazilian = [O]{exercício}[Os]{exercícios} - , spanish = [El]{ejercicio}[Los]{ejercicios} - , schinese = {练习}{练习} - , tchinese = {練習}{練習} - , japanese = {練習}{練習} - , russian = {Упражнение}{Упражнения} - } - } - -\NameTheorem { fact } - { - , heading = { - , english = Fact - , french = Fait - , ngerman = Tatsache - , italian = Fatto - , portuguese = Facto - , brazilian = Fato - , spanish = Hecho - , schinese = 事实 - , tchinese = 事實 - , japanese = 事実 - , russian = Факт - } - , crefname = { - , english = {fact}{facts} - , french = [le]{fait}[les]{faits} - , ngerman = { {Tatsache}{Tatsachen} - , Nominativ = [die]{Tatsache}[die]{Tatsachen} - , Genitiv = [der]{Tatsache}[der]{Tatsachen} - , Dativ = [der]{Tatsache}[den]{Tatsachen} - , Akkusativ = [die]{Tatsache}[die]{Tatsachen} - } - , italian = [il]{fatto}[i]{fatti} - , portuguese = [o]{facto}[os]{factos} - , brazilian = [o]{fato}[os]{fatos} - , spanish = [el]{hecho}[los]{hechos} - , schinese = {事实}{事实} - , tchinese = {事實}{事實} - , japanese = {事実}{事実} - , russian = {факт}{факты} - } - , Crefname = { - , english = {Fact}{Facts} - , french = [Le]{fait}[Les]{faits} - , ngerman = { {Tatsache}{Tatsachen} - , Nominativ = [Die]{Tatsache}[Die]{Tatsachen} - , Genitiv = [Der]{Tatsache}[Der]{Tatsachen} - , Dativ = [Der]{Tatsache}[Den]{Tatsachen} - , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen} - } - , italian = [Il]{fatto}[I]{fatti} - , portuguese = [O]{facto}[Os]{factos} - , brazilian = [O]{fato}[Os]{fatos} - , spanish = [El]{hecho}[Los]{hechos} - , schinese = {事实}{事实} - , tchinese = {事實}{事實} - , japanese = {事実}{事実} - , russian = {Факт}{Факты} - } - } - -\NameTheorem { hypothesis } - { - , heading = { - , english = Hypothesis - , french = Hypothèse - , ngerman = Hypothese - , italian = Ipotesi - , portuguese = Hipótese - , brazilian = Hipótese - , spanish = Hipótesis - , schinese = 假设 - , tchinese = 假設 - , japanese = 仮設 - , russian = Гипотеза - } - , crefname = { - , english = {hypothesis}{hypotheses} - , french = [l']{hypothèse}[les]{hypothèses} - , ngerman = { {Hypothese}{Hypothesen} - , Nominativ = [die]{Hypothese}[die]{Hypothesen} - , Genitiv = [der]{Hypothese}[der]{Hypothesen} - , Dativ = [der]{Hypothese}[den]{Hypothesen} - , Akkusativ = [die]{Hypothese}[die]{Hypothesen} - } - , italian = [l']{ipotesi}[le]{ipotesi} - , portuguese = [a]{hipótese}[as]{hipóteses} - , brazilian = [a]{hipótese}[as]{hipóteses} - , spanish = [la]{hipótesis}[las]{hipótesis} - , schinese = {假设}{假设} - , tchinese = {假設}{假設} - , japanese = {仮設}{仮設} - , russian = {гипотеза}{гипотезы} - } - , Crefname = { - , english = {Hypothesis}{Hypotheses} - , french = [L']{hypothèse}[Les]{hypothèses} - , ngerman = { {Hypothese}{Hypothesen} - , Nominativ = [Die]{Hypothese}[Die]{Hypothesen} - , Genitiv = [Der]{Hypothese}[Der]{Hypothesen} - , Dativ = [Der]{Hypothese}[Den]{Hypothesen} - , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen} - } - , italian = [L']{ipotesi}[Le]{ipotesi} - , portuguese = [A]{hipótese}[As]{hipóteses} - , brazilian = [A]{hipótese}[As]{hipóteses} - , spanish = [La]{hipótesis}[Las]{hipótesis} - , schinese = {假设}{假设} - , tchinese = {假設}{假設} - , japanese = {仮設}{仮設} - , russian = {Гипотеза}{Гипотезы} - } - } - -\NameTheorem { lemma } - { - , heading = { - , english = Lemma - , french = Lemme - , ngerman = Lemma - , italian = Lemma - , portuguese = Lema - , brazilian = Lema - , spanish = Lema - , schinese = 引理 - , tchinese = 引理 - , japanese = 補題 - , russian = Лемма - } - , crefname = { - , english = {lemma}{Lemmas} - , french = [le]{lemme}[les]{lemmes} - , ngerman = { {Lemma}{Lemmata} - , Nominativ = [das]{Lemma}[die]{Lemmata} - , Genitiv = [des]{Lemmas}[der]{Lemmata} - , Dativ = [dem]{Lemma}[den]{Lemmata} - , Akkusativ = [das]{Lemma}[die]{Lemmata} - } - , italian = [il]{lemma}[i]{lemmi} - , portuguese = [o]{lema}[os]{lemas} - , brazilian = [o]{lema}[os]{lemas} - , spanish = [el]{lema}[las]{lemas} - , schinese = {引理}{引理} - , tchinese = {引理}{引理} - , japanese = {補題}{補題} - , russian = {лемма}{леммы} - } - , Crefname = { - , english = {Lemma}{Lemmas} - , french = [Le]{lemme}[Les]{lemmes} - , ngerman = { {Lemma}{Lemmata} - , Nominativ = [Das]{Lemma}[Die]{Lemmata} - , Genitiv = [Des]{Lemmas}[Der]{Lemmata} - , Dativ = [Dem]{Lemma}[Den]{Lemmata} - , Akkusativ = [Das]{Lemma}[Die]{Lemmata} - } - , italian = [Il]{lemma}[I]{lemmi} - , portuguese = [O]{lema}[Os]{lemas} - , brazilian = [O]{lema}[Os]{lemas} - , spanish = [el]{lema}[las]{lemas} - , schinese = {引理}{引理} - , tchinese = {引理}{引理} - , japanese = {補題}{補題} - , russian = {Лемма}{Леммы} - } - } - -\NameTheorem { notation } +\bool_if:NT \l__crthm_presetname_bool { - , heading = { - , english = Notation - , french = Notation - , ngerman = Notation - , italian = Notazione - , portuguese = Notação - , brazilian = Notação - , spanish = Notación - , schinese = 记号 - , tchinese = 記號 - , japanese = 記法 - , russian = Нотация - } - , crefname = { - , english = {notation}{notations} - , french = [la]{notation}[les]{notations} - , ngerman = { {Notation}{Notationen} - , Nominativ = [die]{Notation}[die]{Notationen} - , Genitiv = [der]{Notation}[der]{Notationen} - , Dativ = [der]{Notation}[den]{Notationen} - , Akkusativ = [die]{Notation}[die]{Notationen} - } - , italian = [la]{notazione}[le]{notazioni} - , portuguese = [a]{notação}[as]{notações} - , brazilian = [a]{notação}[as]{notações} - , spanish = [la]{notación}[las]{notaciones} - , schinese = {记号}{记号} - , tchinese = {記號}{記號} - , japanese = {記法}{記法} - , russian = {нотация}{нотации} - } - , Crefname = { - , english = {Notation}{Notations} - , french = [La]{notation}[Les]{notations} - , ngerman = { {Notation}{Notationen} - , Nominativ = [Die]{Notation}[Die]{Notationen} - , Genitiv = [Der]{Notation}[Der]{Notationen} - , Dativ = [Der]{Notation}[Den]{Notationen} - , Akkusativ = [Die]{Notation}[Die]{Notationen} - } - , italian = [La]{notazione}[Le]{notazioni} - , portuguese = [A]{notação}[As]{notações} - , brazilian = [A]{notação}[As]{notações} - , spanish = [La]{notación}[Las]{notaciones} - , schinese = {记号}{记号} - , tchinese = {記號}{記號} - , japanese = {記法}{記法} - , russian = {Нотация}{Нотации} - } - } - -\NameTheorem { observation } - { - , heading = { - , english = Observation - , french = Observation - , ngerman = Beobachtung - , italian = Osservazione - , portuguese = Observação - , brazilian = Observação - , spanish = Observación - , schinese = 观察 - , tchinese = 觀察 - , japanese = 観察 - , russian = Наблюдение - } - , crefname = { - , english = {observation}{observations} - , french = [la]{observation}[les]{observations} - , ngerman = { {Beobachtung}{Beobachtungen} - , Nominativ = [die]{Beobachtung}[die]{Beobachtungen} - , Genitiv = [der]{Beobachtung}[der]{Beobachtungen} - , Dativ = [der]{Beobachtung}[den]{Beobachtungen} - , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen} - } - , italian = [l']{osservazione}[le]{osservazioni} - , portuguese = [a]{observação}[as]{observações} - , brazilian = [a]{observação}[as]{observações} - , spanish = [la]{observación}[las]{observaciones} - , schinese = {观察}{观察} - , tchinese = {觀察}{觀察} - , japanese = {観察}{観察} - , russian = {наблюдение}{наблюдения} - } - , Crefname = { - , english = {Observation}{Observations} - , french = [La]{observation}[Les]{observations} - , ngerman = { {Beobachtung}{Beobachtungen} - , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen} - , Genitiv = [Der]{Beobachtung}[Der]{Beobachtungen} - , Dativ = [Der]{Beobachtung}[Den]{Beobachtungen} - , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen} - } - , italian = [L']{osservazione}[Le]{osservazioni} - , portuguese = [A]{observação}[As]{observações} - , brazilian = [A]{observação}[As]{observações} - , spanish = [La]{observación}[Las]{observaciones} - , schinese = {观察}{观察} - , tchinese = {觀察}{觀察} - , japanese = {観察}{観察} - , russian = {Наблюдение}{Наблюдения} - } - } - -\NameTheorem { postulate } - { - , heading = { - , english = Postulate - , french = Postulat - , ngerman = Postulat - , italian = Postulato - , portuguese = Postulado - , brazilian = Postulado - , spanish = Postulado - , schinese = 公设 - , tchinese = 公設 - , japanese = 公準 - , russian = Постулат - } - , crefname = { - , english = {postulate}{postulates} - , french = [le]{postulat}[les]{postulats} - , ngerman = { {Postulat}{Postulate} - , Nominativ = [das]{Postulat}[die]{Postulate} - , Genitiv = [des]{Postulates}[der]{Postulate} - , Dativ = [dem]{Postulat}[den]{Postulaten} - , Akkusativ = [das]{Postulat}[die]{Postulate} - } - , italian = [il]{postulato}[i]{postulati} - , portuguese = [o]{postulado}[os]{postulados} - , brazilian = [o]{postulado}[os]{postulados} - , spanish = [el]{postulado}[los]{postulados} - , schinese = {公设}{公设} - , tchinese = {公設}{公設} - , japanese = {公準}{公準} - , russian = {постулат}{постулаты} - } - , Crefname = { - , english = {Postulate}{Postulates} - , french = [Le]{postulat}[Les]{postulats} - , ngerman = { {Postulat}{Postulate} - , Nominativ = [Das]{Postulat}[Die]{Postulate} - , Genitiv = [Des]{Postulates}[Der]{Postulate} - , Dativ = [Dem]{Postulat}[Den]{Postulaten} - , Akkusativ = [Das]{Postulat}[Die]{Postulate} - } - , italian = [Il]{postulato}[I]{postulati} - , portuguese = [O]{postulado}[Os]{postulados} - , brazilian = [O]{postulado}[Os]{postulados} - , spanish = [El]{postulado}[Los]{postulados} - , schinese = {公设}{公设} - , tchinese = {公設}{公設} - , japanese = {公準}{公準} - , russian = {Постулат}{Постулаты} - } + \input { create-theorem-preset-names } + \input { create-theorem-preset-names-plural } } -\NameTheorem { problem } - { - , heading = { - , english = Problem - , french = Problème - , ngerman = Problem - , italian = Problema - , portuguese = Problema - , brazilian = Problema - , spanish = Problema - , schinese = 问题 - , tchinese = 問題 - , japanese = 問題 - , russian = Проблема - } - , crefname = { - , english = {problem}{problems} - , french = [le]{problème}[les]{problèmes} - , ngerman = { {Problem}{Probleme} - , Nominativ = [das]{Problem}[die]{Probleme} - , Genitiv = [des]{Problems}[der]{Probleme} - , Dativ = [dem]{Problem}[den]{Problemen} - , Akkusativ = [das]{Problem}[die]{Probleme} - } - , italian = [il]{problema}[i]{problemi} - , portuguese = [o]{problema}[os]{problemas} - , brazilian = [o]{problema}[os]{problemas} - , spanish = [el]{problema}[los]{problemas} - , schinese = {问题}{问题} - , tchinese = {問題}{問題} - , japanese = {問題}{問題} - , russian = {проблема}{проблемы} - } - , Crefname = { - , english = {Problem}{Problems} - , french = [Le]{problème}[Les]{problèmes} - , ngerman = { {Problem}{Probleme} - , Nominativ = [Das]{Problem}[Die]{Probleme} - , Genitiv = [Des]{Problems}[Der]{Probleme} - , Dativ = [Dem]{Problem}[Den]{Problemen} - , Akkusativ = [Das]{Problem}[Die]{Probleme} - } - , italian = [Il]{problema}[I]{problemi} - , portuguese = [O]{problema}[Os]{problemas} - , brazilian = [O]{problema}[Os]{problemas} - , spanish = [El]{problema}[Los]{problemas} - , schinese = {问题}{问题} - , tchinese = {問題}{問題} - , japanese = {問題}{問題} - , russian = {Проблема}{Проблемы} - } - } - -\NameTheorem { property } - { - , heading = { - , english = Property - , french = Propriété - , ngerman = Eigenschaft - , italian = Proprietà - , portuguese = Propriedade - , brazilian = Propriedade - , spanish = Propiedad - , schinese = 性质 - , tchinese = 性質 - , japanese = 性質 - , russian = Имущество - } - , crefname = { - , english = {property}{properties} - , french = [la]{propriété}[les]{propriétés} - , ngerman = { {Eigenschaft}{Eigenschaften} - , Nominativ = [die]{Eigenschaft}[die]{Eigenschaften} - , Genitiv = [der]{Eigenschaft}[der]{Eigenschaften} - , Dativ = [der]{Eigenschaft}[den]{Eigenschaften} - , Akkusativ = [die]{Eigenschaft}[die]{Eigenschaften} - } - , italian = [la]{proprietà}[le]{proprietà} - , portuguese = [a]{propriedade}[as]{propriedades} - , brazilian = [a]{propriedade}[as]{propriedades} - , spanish = [la]{propiedad}[las]{propiedades} - , schinese = {性质}{性质} - , tchinese = {性質}{性質} - , japanese = {性質}{性質} - , russian = {имущество}{имущества} - } - , Crefname = { - , english = {Property}{Properties} - , french = [La]{propriété}[Les]{propriétés} - , ngerman = { {Eigenschaft}{Eigenschaften} - , Nominativ = [Die]{Eigenschaft}[Die]{Eigenschaften} - , Genitiv = [Der]{Eigenschaft}[Der]{Eigenschaften} - , Dativ = [Der]{Eigenschaft}[Den]{Eigenschaften} - , Akkusativ = [Die]{Eigenschaft}[Die]{Eigenschaften} - } - , italian = [La]{proprietà}[Le]{proprietà} - , portuguese = [A]{propriedade}[As]{propriedades} - , brazilian = [A]{propriedade}[As]{propriedades} - , spanish = [La]{propiedad}[Las]{propiedades} - , schinese = {性质}{性质} - , tchinese = {性質}{性質} - , japanese = {性質}{性質} - , russian = {Имущество}{Имущества} - } - } - -\NameTheorem { proposition } - { - , heading = { - , english = Proposition - , french = Proposition - , ngerman = Proposition - , italian = Proposizione - , portuguese = Proposição - , brazilian = Proposição - , spanish = Proposición - , schinese = 命题 - , tchinese = 命題 - , japanese = 命題 - , russian = Предложение - } - , crefname = { - , english = {proposition}{propositions} - , french = [la]{proposition}[les]{propositions} - , ngerman = { {Proposition}{Propositionen} - , Nominativ = [die]{Proposition}[die]{Propositionen} - , Genitiv = [der]{Proposition}[der]{Propositionen} - , Dativ = [der]{Proposition}[den]{Propositionen} - , Akkusativ = [die]{Proposition}[die]{Propositionen} - } - , italian = [la]{proposizione}[le]{proposte} - , portuguese = [a]{proposição}[as]{proposições} - , brazilian = [a]{proposição}[as]{proposições} - , spanish = [la]{proposición}[las]{proposiciones} - , schinese = {命题}{命题} - , tchinese = {命題}{命題} - , japanese = {命題}{命題} - , russian = {предложение}{предложения} - } - , Crefname = { - , english = {Proposition}{Propositions} - , french = [La]{proposition}[Les]{propositions} - , ngerman = { {Proposition}{Propositionen} - , Nominativ = [Die]{Proposition}[Die]{Propositionen} - , Genitiv = [Der]{Proposition}[Der]{Propositionen} - , Dativ = [Der]{Proposition}[Den]{Propositionen} - , Akkusativ = [Die]{Proposition}[Die]{Propositionen} - } - , italian = [La]{proposizione}[Le]{proposte} - , portuguese = [A]{proposição}[As]{proposições} - , brazilian = [A]{proposição}[As]{proposições} - , spanish = [La]{proposición}[Las]{proposiciones} - , schinese = {命题}{命题} - , tchinese = {命題}{命題} - , japanese = {命題}{命題} - , russian = {Предложение}{Предложения} - } - } - -\NameTheorem { question } - { - , heading = { - , english = Question - , french = Question - , ngerman = Frage - , italian = Domanda - , portuguese = Pergunta - , brazilian = Pergunta - , spanish = Pregunta - , schinese = 问题 - , tchinese = 問題 - , japanese = 問題 - , russian = Вопрос - } - , crefname = { - , english = {question}{questions} - , french = [la]{question}[les]{questions} - , ngerman = { {Frage}{Fragen} - , Nominativ = [die]{Frage}[die]{Fragen} - , Genitiv = [der]{Frage}[der]{Fragen} - , Dativ = [der]{Frage}[den]{Fragen} - , Akkusativ = [die]{Frage}[die]{Fragen} - } - , italian = [la]{domanda}[le]{domande} - , portuguese = [a]{pergunta}[as]{perguntas} - , brazilian = [a]{pergunta}[as]{perguntas} - , spanish = [la]{pregunta}[las]{preguntas} - , schinese = {问题}{问题} - , tchinese = {問題}{問題} - , japanese = {問題}{問題} - , russian = {вопрос}{вопросы} - } - , Crefname = { - , english = {Question}{Questions} - , french = [La]{question}[Les]{questions} - , ngerman = { {Frage}{Fragen} - , Nominativ = [Die]{Frage}[Die]{Fragen} - , Genitiv = [Der]{Frage}[Der]{Fragen} - , Dativ = [Der]{Frage}[Den]{Fragen} - , Akkusativ = [Die]{Frage}[Die]{Fragen} - } - , italian = [La]{domanda}[Le]{domande} - , portuguese = [A]{pergunta}[As]{perguntas} - , brazilian = [A]{pergunta}[As]{perguntas} - , spanish = [La]{pregunta}[Las]{preguntas} - , schinese = {问题}{问题} - , tchinese = {問題}{問題} - , japanese = {問題}{問題} - , russian = {Вопрос}{Вопросы} - } - } - -\NameTheorem { recall } - { - , heading = { - , english = Recall - , french = Rappel - , ngerman = Erinnerung - , italian = Richiamo - , portuguese = Recordação - , brazilian = Recordação - , spanish = Recuerdo - , schinese = 回顾 - , tchinese = 回顧 - , japanese = 回顧 - , russian = Напоминание - } - , crefname = { - , english = {recall}{recalls} - , french = [le]{rappel}[les]{rappels} - , ngerman = { {Erinnerung}{Erinnerungen} - , Nominativ = [die]{Erinnerung}[die]{Erinnerungen} - , Genitiv = [der]{Erinnerung}[der]{Erinnerungen} - , Dativ = [der]{Erinnerung}[den]{Erinnerungen} - , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen} - } - , italian = [il]{richiamo}[i]{richiami} - , portuguese = [a]{recordação}[as]{recordações} - , brazilian = [a]{recordação}[as]{recordações} - , spanish = [el]{recuerdo}[los]{recuerdos} - , schinese = {回顾}{回顾} - , tchinese = {回顧}{回顧} - , japanese = {回顧}{回顧} - , russian = {напоминание}{напоминания} - } - , Crefname = { - , english = {Recall}{Recalls} - , french = [Le]{rappel}[Les]{rappels} - , ngerman = { {Erinnerung}{Erinnerungen} - , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen} - , Genitiv = [Der]{Erinnerung}[Der]{Erinnerungen} - , Dativ = [Der]{Erinnerung}[Den]{Erinnerungen} - , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen} - } - , italian = [Il]{richiamo}[I]{richiami} - , portuguese = [A]{recordação}[As]{recordações} - , brazilian = [A]{recordação}[As]{recordações} - , spanish = [El]{recuerdo}[Los]{recuerdos} - , schinese = {回顾}{回顾} - , tchinese = {回顧}{回顧} - , japanese = {回顧}{回顧} - , russian = {Напоминание}{Напоминания} - } - } - -\NameTheorem { remark } - { - , heading = { - , english = Remark - , french = Remarque - , ngerman = Bemerkung - , italian = Commento - , portuguese = Comentário - , brazilian = Comentário - , spanish = Comentario - , schinese = 备注 - , tchinese = 備註 - , japanese = 注釈 - , russian = Замечание - } - , crefname = { - , english = {remark}{remarks} - , french = [la]{remarque}[les]{remarques} - , ngerman = { {Bemerkung}{Bemerkungen} - , Nominativ = [die]{Bemerkung}[die]{Bemerkungen} - , Genitiv = [der]{Bemerkung}[der]{Bemerkungen} - , Dativ = [der]{Bemerkung}[den]{Bemerkungen} - , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen} - } - , italian = [il]{commento}[i]{commenti} - , portuguese = [o]{comentário}[os]{comentários} - , brazilian = [o]{comentário}[os]{comentários} - , spanish = [el]{comentario}[los]{comentarios} - , schinese = {备注}{备注} - , tchinese = {備註}{備註} - , japanese = {注釈}{注釈} - , russian = {замечание}{замечания} - } - , Crefname = { - , english = {Remark}{Remarks} - , french = [La]{remarque}[Les]{remarques} - , ngerman = { {Bemerkung}{Bemerkungen} - , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen} - , Genitiv = [Der]{Bemerkung}[Der]{Bemerkungen} - , Dativ = [Der]{Bemerkung}[Den]{Bemerkungen} - , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen} - } - , italian = [Il]{commento}[I]{commenti} - , portuguese = [O]{comentário}[Os]{comentários} - , brazilian = [O]{comentário}[Os]{comentários} - , spanish = [El]{comentario}[Los]{comentarios} - , schinese = {备注}{备注} - , tchinese = {備註}{備註} - , japanese = {注釈}{注釈} - , russian = {Замечание}{Замечания} - } - } - -\NameTheorem { theorem } - { - , heading = { - , english = Theorem - , french = Théorème - , ngerman = Satz - , italian = Teorema - , portuguese = Teorema - , brazilian = Teorema - , spanish = Teorema - , schinese = 定理 - , tchinese = 定理 - , japanese = 定理 - , russian = Теорема - } - , crefname = { - , english = {theorem}{theorems} - , french = [le]{théorème}[les]{théorèmes} - , ngerman = { {Satz}{Sätze} - , Nominativ = [der]{Satz}[die]{Sätze} - , Genitiv = [des]{Satzes}[der]{Sätze} - , Dativ = [dem]{Satz}[den]{Sätzen} - , Akkusativ = [den]{Satz}[die]{Sätze} - } - , italian = [il]{teorema}[i]{teoremi} - , portuguese = [o]{teorema}[os]{teoremas} - , brazilian = [o]{teorema}[os]{teoremas} - , spanish = [el]{teorema}[los]{teoremas} - , schinese = {定理}{定理} - , tchinese = {定理}{定理} - , japanese = {定理}{定理} - , russian = {теорема}{теоремы} - } - , Crefname = { - , english = {Theorem}{Theorems} - , french = [Le]{théorème}[Les]{théorèmes} - , ngerman = { {Satz}{Sätze} - , Nominativ = [Der]{Satz}[Die]{Sätze} - , Genitiv = [Des]{Satzes}[Der]{Sätze} - , Dativ = [Dem]{Satz}[Den]{Sätzen} - , Akkusativ = [Den]{Satz}[Die]{Sätze} - } - , italian = [Il]{teorema}[I]{teoremi} - , portuguese = [O]{teorema}[Os]{teoremas} - , brazilian = [O]{teorema}[Os]{teoremas} - , spanish = [El]{teorema}[Los]{teoremas} - , schinese = {定理}{定理} - , tchinese = {定理}{定理} - , japanese = {定理}{定理} - , russian = {Теорема}{Теоремы} - } - } - -\NameTheorem { definition-corollary } { combined = { definition ; corollary } } -\NameTheorem { definition-proposition } { combined = { definition ; proposition } } -\NameTheorem { definition-theorem } { combined = { definition ; theorem } } - -\NameTheorem { corollary-definition } { combined = { corollary ; definition } } -\NameTheorem { proposition-definition } { combined = { proposition ; definition } } -\NameTheorem { theorem-definition } { combined = { theorem ; definition } } - \endinput %% %% End of file `create-theorem.sty'. diff --git a/Master/texmf-dist/tex/latex/einfart/einfart.cls b/Master/texmf-dist/tex/latex/einfart/einfart.cls index 7f3514badda..2146ce094d9 100644 --- a/Master/texmf-dist/tex/latex/einfart/einfart.cls +++ b/Master/texmf-dist/tex/latex/einfart/einfart.cls @@ -2,7 +2,7 @@ %% This is file `einfart/einfart.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {einfart} - {2023/09/26} {} + {2024/02/20} {} {A simple and clear article style} \tl_const:Nn \l__minimclass_base_class_tl { article } @@ -655,7 +655,7 @@ ] \setmathfont { texgyrepagella-math.otf } [ - range = { `(, `) } , + range = { `(, `), `/, \setminus } , Scale = 1.10 ] \setmathfont { texgyrepagella-math.otf } @@ -684,6 +684,9 @@ \newcommand{\limstrut}{\vrule depth0.2ex width 0pt} \renewcommand{\varprojlim}{\mathop{\underleftarrow{{\lim}\limstrut}}} \renewcommand{\varinjlim}{\mathop{\underrightarrow{{\lim}\limstrut}}} + + \let\setminus@old\setminus + \renewcommand*{\setminus}{\!\setminus@old\!} } % https://tex.stackexchange.com/a/647789 diff --git a/Master/texmf-dist/tex/latex/lebhart/lebhart.cls b/Master/texmf-dist/tex/latex/lebhart/lebhart.cls index d36b7718d10..73c306043d9 100644 --- a/Master/texmf-dist/tex/latex/lebhart/lebhart.cls +++ b/Master/texmf-dist/tex/latex/lebhart/lebhart.cls @@ -2,7 +2,7 @@ %% This is file `lebhart/lebhart.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the colorist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {lebhart} - {2023/09/26} {} + {2024/02/20} {} {A colorful article style} \tl_const:Nn \l__colorclass_base_class_tl { article } @@ -635,7 +635,7 @@ ] \setmathfont { texgyrepagella-math.otf } [ - range = { `(, `) } , + range = { `(, `), `/, \setminus } , Scale = 1.10 ] \setmathfont { texgyrepagella-math.otf } @@ -664,6 +664,9 @@ \newcommand{\limstrut}{\vrule depth0.2ex width 0pt} \renewcommand{\varprojlim}{\mathop{\underleftarrow{{\lim}\limstrut}}} \renewcommand{\varinjlim}{\mathop{\underrightarrow{{\lim}\limstrut}}} + + \let\setminus@old\setminus + \renewcommand*{\setminus}{\!\setminus@old\!} } % https://tex.stackexchange.com/a/647789 diff --git a/Master/texmf-dist/tex/latex/minimalist/minimalist-classical.sty b/Master/texmf-dist/tex/latex/minimalist/minimalist-classical.sty index e9049000668..9b0dc1f76e4 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimalist-classical.sty +++ b/Master/texmf-dist/tex/latex/minimalist/minimalist-classical.sty @@ -2,7 +2,7 @@ %% This is file `minimalist/minimalist-classical.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {minimalist-classical} - {2023/10/15} {} + {2024/02/20} {} {The "classical" style of minimalist} \IfPackageLoadedTF { minimalist } {} @@ -807,7 +807,10 @@ heading_suffix "}\n" \theoremstyle{simple} -\def\@endtheorem{\popQED\endtrivlist\@endpefalse} +\bool_if:NT \l__minimalist_theorem_with_qed_bool + { + \def\@endtheorem{\popQED\endtrivlist\@endpefalse} + } \newcommand{\customqedsymbol}{ \makebox[1em]{\color{.!27!paper}\rule[-0.1em]{.95em}{.95em}}} @@ -816,7 +819,7 @@ heading_suffix "}\n" %% Special treatments for the Q.E.D. symbol \def\noQED{\let\popQED\relax} \let\noqed\noQED -\def\proofless{\let\qedsymbol\customqedsymbol\let\simpleqedsymbol\customqedsymbol} +\def\proofless{\pushQED{\qed}} \bool_if:NTF \l__minimalist_fast_bool { @@ -848,7 +851,14 @@ heading_suffix "}\n" } -\PassOptionsToPackage { theorem-style = { theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, theorem-with-name = simple-var } } { projlib-theorem } +\PassOptionsToPackage + { + theorem-style = { + theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, + theorems = simple-var, lemmas = simple-var, propositions = simple-var, corollaries = simple-var, properties = simple-var, axioms = simple-var, constructions = simple-var, + theorem-with-name = simple-var, + } + } { projlib-theorem } \RequirePackage { projlib-theorem } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimalist-default.sty b/Master/texmf-dist/tex/latex/minimalist/minimalist-default.sty index 5215ba81fbd..32d64df6614 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimalist-default.sty +++ b/Master/texmf-dist/tex/latex/minimalist/minimalist-default.sty @@ -2,7 +2,7 @@ %% This is file `minimalist/minimalist-default.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {minimalist-default} - {2023/10/15} {} + {2024/02/20} {} {The default style of minimalist} \IfPackageLoadedTF { minimalist } {} @@ -441,7 +441,7 @@ \titleformat{\section} {\LocallyStopLineNumbers \g_minimalist_title_font_section_tl\centering} - {\raisebox{-.02\baselineskip}{\large \minimalist_apply_title_numbering_style:n { \thesection } }}{1em} + {\raisebox{-.125ex}{\large \minimalist_apply_title_numbering_style:n { \thesection } }}{1em} {#1} [\ResumeLineNumbers] @@ -818,7 +818,10 @@ heading_suffix "}\n" \theoremstyle{simple} -\def\@endtheorem{\popQED\endtrivlist\@endpefalse} +\bool_if:NT \l__minimalist_theorem_with_qed_bool + { + \def\@endtheorem{\popQED\endtrivlist\@endpefalse} + } \newcommand{\customqedsymbol}{ \makebox[1em]{\color{.!27!paper}\rule[-0.1em]{.95em}{.95em}}} @@ -827,7 +830,7 @@ heading_suffix "}\n" %% Special treatments for the Q.E.D. symbol \def\noQED{\let\popQED\relax} \let\noqed\noQED -\def\proofless{\let\qedsymbol\customqedsymbol\let\simpleqedsymbol\customqedsymbol} +\def\proofless{\pushQED{\qed}} \bool_if:NTF \l__minimalist_fast_bool { @@ -859,7 +862,14 @@ heading_suffix "}\n" } -\PassOptionsToPackage { theorem-style = { theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, theorem-with-name = simple-var } } { projlib-theorem } +\PassOptionsToPackage + { + theorem-style = { + theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, + theorems = simple-var, lemmas = simple-var, propositions = simple-var, corollaries = simple-var, properties = simple-var, axioms = simple-var, constructions = simple-var, + theorem-with-name = simple-var, + } + } { projlib-theorem } \RequirePackage { projlib-theorem } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimalist-flow.sty b/Master/texmf-dist/tex/latex/minimalist/minimalist-flow.sty index 0ccde12e6ee..671ceef5c29 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimalist-flow.sty +++ b/Master/texmf-dist/tex/latex/minimalist/minimalist-flow.sty @@ -2,7 +2,7 @@ %% This is file `minimalist/minimalist-flow.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {minimalist-flow} - {2023/10/15} {} + {2024/02/20} {} {The "flow" style of minimalist} \IfPackageLoadedTF { minimalist } {} @@ -823,7 +823,10 @@ heading_suffix "}\n" \theoremstyle{simple} -\def\@endtheorem{\popQED\endtrivlist\@endpefalse} +\bool_if:NT \l__minimalist_theorem_with_qed_bool + { + \def\@endtheorem{\popQED\endtrivlist\@endpefalse} + } \newcommand{\customqedsymbol}{ \makebox[1em]{\color{.!27!paper}\rule[-0.1em]{.95em}{.95em}}} @@ -832,7 +835,7 @@ heading_suffix "}\n" %% Special treatments for the Q.E.D. symbol \def\noQED{\let\popQED\relax} \let\noqed\noQED -\def\proofless{\let\qedsymbol\customqedsymbol\let\simpleqedsymbol\customqedsymbol} +\def\proofless{\pushQED{\qed}} \bool_if:NTF \l__minimalist_fast_bool { @@ -864,7 +867,14 @@ heading_suffix "}\n" } -\PassOptionsToPackage { theorem-style = { theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, theorem-with-name = simple-var } } { projlib-theorem } +\PassOptionsToPackage + { + theorem-style = { + theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, + theorems = simple-var, lemmas = simple-var, propositions = simple-var, corollaries = simple-var, properties = simple-var, axioms = simple-var, constructions = simple-var, + theorem-with-name = simple-var, + } + } { projlib-theorem } \RequirePackage { projlib-theorem } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimalist-plain.sty b/Master/texmf-dist/tex/latex/minimalist/minimalist-plain.sty index fd4503c74fb..577f4b24e1c 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimalist-plain.sty +++ b/Master/texmf-dist/tex/latex/minimalist/minimalist-plain.sty @@ -2,7 +2,7 @@ %% This is file `minimalist/minimalist-plain.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {minimalist-plain} - {2023/10/15} {} + {2024/02/20} {} {The "plain" style of minimalist} \IfPackageLoadedTF { minimalist } {} @@ -792,7 +792,10 @@ heading_suffix "}\n" \theoremstyle{simple} -\def\@endtheorem{\popQED\endtrivlist\@endpefalse} +\bool_if:NT \l__minimalist_theorem_with_qed_bool + { + \def\@endtheorem{\popQED\endtrivlist\@endpefalse} + } \newcommand{\customqedsymbol}{ \makebox[1em]{\color{.!27!paper}\rule[-0.1em]{.95em}{.95em}}} @@ -801,7 +804,7 @@ heading_suffix "}\n" %% Special treatments for the Q.E.D. symbol \def\noQED{\let\popQED\relax} \let\noqed\noQED -\def\proofless{\let\qedsymbol\customqedsymbol\let\simpleqedsymbol\customqedsymbol} +\def\proofless{\pushQED{\qed}} \bool_if:NTF \l__minimalist_fast_bool { @@ -833,7 +836,14 @@ heading_suffix "}\n" } -\PassOptionsToPackage { theorem-style = { theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, theorem-with-name = simple-var } } { projlib-theorem } +\PassOptionsToPackage + { + theorem-style = { + theorem = simple-var, lemma = simple-var, proposition = simple-var, corollary = simple-var, property = simple-var, axiom = simple-var, construction = simple-var, + theorems = simple-var, lemmas = simple-var, propositions = simple-var, corollaries = simple-var, properties = simple-var, axioms = simple-var, constructions = simple-var, + theorem-with-name = simple-var, + } + } { projlib-theorem } \RequirePackage { projlib-theorem } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimalist-stream.sty b/Master/texmf-dist/tex/latex/minimalist/minimalist-stream.sty index 84843f52ccd..cef220e6230 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimalist-stream.sty +++ b/Master/texmf-dist/tex/latex/minimalist/minimalist-stream.sty @@ -2,7 +2,7 @@ %% This is file `minimalist/minimalist-stream.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {minimalist-stream} - {2023/10/15} {} + {2024/02/20} {} {The "stream" style of minimalist} \IfPackageLoadedTF { minimalist } {} @@ -929,7 +929,10 @@ heading_suffix "}\n" . \hspace{.5em} } -\def\@endtheorem{\popQED\endtrivlist\@endpefalse} +\bool_if:NT \l__minimalist_theorem_with_qed_bool + { + \def\@endtheorem{\popQED\endtrivlist\@endpefalse} + } \newcommand{\customqedsymbol}{ \makebox[1em]{\color{.!27!paper}\rule[-0.1em]{.95em}{.95em}}} @@ -938,7 +941,7 @@ heading_suffix "}\n" %% Special treatments for the Q.E.D. symbol \def\noQED{\let\popQED\relax} \let\noqed\noQED -\def\proofless{\let\qedsymbol\customqedsymbol\let\simpleqedsymbol\customqedsymbol} +\def\proofless{\pushQED{\qed}} \bool_if:NTF \l__minimalist_fast_bool { @@ -972,12 +975,28 @@ heading_suffix "}\n" \bool_if:NTF \l__minimalist_theorem_in_new_line_bool { - \PassOptionsToPackage { theorem-style = { remark = simple-inline, proof = proof, - theorem = simple-newline-var, lemma = simple-newline-var, proposition = simple-newline-var, corollary = simple-newline-var, property = simple-newline-var, axiom = simple-newline-var, construction = simple-newline-var, theorem-with-name = simple-newline-var } } { projlib-theorem } + \PassOptionsToPackage + { + theorem-style = { + proof = proof, + remark = simple-inline, remarks = simple-inline, + theorem = simple-newline-var, lemma = simple-newline-var, proposition = simple-newline-var, corollary = simple-newline-var, property = simple-newline-var, axiom = simple-newline-var, construction = simple-newline-var, + theorems = simple-newline-var, lemmas = simple-newline-var, propositions = simple-newline-var, corollaries = simple-newline-var, properties = simple-newline-var, axioms = simple-newline-var, constructions = simple-newline-var, + theorem-with-name = simple-newline-var, + } + } { projlib-theorem } } { - \PassOptionsToPackage { theorem-style = { remark = simple-inline, proof = proof, - theorem = simple-inline-var, lemma = simple-inline-var, proposition = simple-inline-var, corollary = simple-inline-var, property = simple-inline-var, axiom = simple-inline-var, construction = simple-inline-var, theorem-with-name = simple-inline-var } } { projlib-theorem } + \PassOptionsToPackage + { + theorem-style = { + proof = proof, + remark = simple-inline, remarks = simple-inline, + theorem = simple-inline-var, lemma = simple-inline-var, proposition = simple-inline-var, corollary = simple-inline-var, property = simple-inline-var, axiom = simple-inline-var, construction = simple-inline-var, + theorems = simple-inline-var, lemmas = simple-inline-var, propositions = simple-inline-var, corollaries = simple-inline-var, properties = simple-inline-var, axioms = simple-inline-var, constructions = simple-inline-var, + theorem-with-name = simple-inline-var, + } + } { projlib-theorem } } \RequirePackage { projlib-theorem } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimalist.sty b/Master/texmf-dist/tex/latex/minimalist/minimalist.sty index be9916100d9..9b50bd5349b 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimalist.sty +++ b/Master/texmf-dist/tex/latex/minimalist/minimalist.sty @@ -2,7 +2,7 @@ %% This is file `minimalist/minimalist.sty', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {minimalist} - {2023/10/15} {} + {2024/02/20} {} {A simple and clear style for articles and books} \keys_define:nn { minimalist } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimart.cls b/Master/texmf-dist/tex/latex/minimalist/minimart.cls index e55e748b9ba..f208d3ccd64 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimart.cls +++ b/Master/texmf-dist/tex/latex/minimalist/minimart.cls @@ -2,7 +2,7 @@ %% This is file `minimalist/minimart.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {minimart} - {2023/10/15} {} + {2024/02/20} {} {A simple and clear article style} \tl_const:Nn \l__minimclass_base_class_tl { article } diff --git a/Master/texmf-dist/tex/latex/minimalist/minimbook.cls b/Master/texmf-dist/tex/latex/minimalist/minimbook.cls index 005fb29fc71..c36dc2b2391 100644 --- a/Master/texmf-dist/tex/latex/minimalist/minimbook.cls +++ b/Master/texmf-dist/tex/latex/minimalist/minimbook.cls @@ -2,7 +2,7 @@ %% This is file `minimalist/minimbook.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {minimbook} - {2023/10/15} {} + {2024/02/20} {} {A simple and clear book style} \tl_const:Nn \l__minimclass_base_class_tl { book } diff --git a/Master/texmf-dist/tex/latex/projlib/ProjLib.sty b/Master/texmf-dist/tex/latex/projlib/ProjLib.sty index 1abcfb91338..3130a3a2ad1 100644 --- a/Master/texmf-dist/tex/latex/projlib/ProjLib.sty +++ b/Master/texmf-dist/tex/latex/projlib/ProjLib.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {ProjLib} - {2024/02/03} {} + {2024/02/20} {} {Collective interface of the ProjLib toolkit} \keys_define:nn { ProjLib } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-author.sty b/Master/texmf-dist/tex/latex/projlib/projlib-author.sty index f20d07a436f..2ce8175b190 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-author.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-author.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-author} - {2024/02/03} {} + {2024/02/20} {} {Enhanced author information block} \keys_define:nn { projlib-author } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-datetime.sty b/Master/texmf-dist/tex/latex/projlib/projlib-datetime.sty index 64890c51c47..f4c43ca9c2d 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-datetime.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-datetime.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-datetime} - {2024/02/03} {} + {2024/02/20} {} {Convert numeric date-time string to natural language} \tl_new:N \g__projlib_datetime_input_format_tl diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-draft.sty b/Master/texmf-dist/tex/latex/projlib/projlib-draft.sty index 07675784ed9..a19673eaa32 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-draft.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-draft.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-draft} - {2024/02/03} {} + {2024/02/20} {} {Useful commands during draft stage} \keys_define:nn { projlib-draft } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-font.sty b/Master/texmf-dist/tex/latex/projlib/projlib-font.sty index 30aaacb51af..7f206d7e387 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-font.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-font.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-font} - {2024/02/03} {} + {2024/02/20} {} {Font selection and configuration} \keys_define:nn { projlib-font } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-language.sty b/Master/texmf-dist/tex/latex/projlib/projlib-language.sty index 02a2b9649d4..2558bb000d7 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-language.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-language.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-language} - {2024/02/03} {} + {2024/02/20} {} {Multi-language configuration} \clist_const:Nn \c__projlib_language_supported_clist diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-logo.sty b/Master/texmf-dist/tex/latex/projlib/projlib-logo.sty index 9858ec7060c..b750a1d31f7 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-logo.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-logo.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-logo} - {2024/02/03} {} + {2024/02/20} {} {The ProjLib logo} \keys_define:nn { projlib-logo } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-math.sty b/Master/texmf-dist/tex/latex/projlib/projlib-math.sty index 528b5bd9db4..e2c464a365a 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-math.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-math.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-math} - {2024/02/03} {} + {2024/02/20} {} {Efficient math setup} \keys_define:nn { projlib-math } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-paper.sty b/Master/texmf-dist/tex/latex/projlib/projlib-paper.sty index 8d75aecceae..5d0c2c73326 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-paper.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-paper.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-paper} - {2024/02/03} {} + {2024/02/20} {} {Configuration of the paper style} \keys_define:nn { projlib-paper } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-text.sty b/Master/texmf-dist/tex/latex/projlib/projlib-text.sty index 4747af00788..82a7de1baed 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-text.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-text.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-text} - {2024/02/03} {} + {2024/02/20} {} {Text-related commands} \keys_define:nn { projlib-text } diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty b/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty index e043322b996..83b4b93949c 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-theorem} - {2024/02/03} {} + {2024/02/20} {} {Configuration of theorem-like environments} \keys_define:nn { projlib-theorem } @@ -77,6 +77,7 @@ assumption , axiom , claim , + commentary , conclusion , conjecture , construction , @@ -88,6 +89,7 @@ fact , hypothesis , lemma , + motivation , notation , observation , postulate , @@ -104,6 +106,34 @@ corollary-definition , proposition-definition , theorem-definition , + applications , + assertions , + assumptions , + axioms , + claims , + commentaries , + conclusions , + conjectures , + constructions , + conventions , + corollaries , + definitions , + examples , + exercises , + facts , + hypotheses , + lemmas , + motivations , + notations , + observations , + postulates , + problems , + properties , + propositions , + questions , + recalls , + remarks , + theorems , } \@ifclassloaded { beamer } @@ -643,6 +673,49 @@ } } +\NameTheorem { commentary } + { + , heading = { + , english = Commentary + , french = Commentaire + , ngerman = Kommentar + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 % コメント + , russian = Комментарий + } + , crefname = { + , english = {Commentary}{Commentary} + , french = [la]{Commentaire}[les]{Commentaire} + , ngerman = {Kommentar}{Kommentar} + , italian = [il]{Commento}[i]{Commento} + , portuguese = [o]{Comentário}[os]{Comentário} + , brazilian = [o]{Comentário}[os]{Comentário} + , spanish = [el]{Comentario}[los]{Comentario} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарий}{Комментарий} + } + , Crefname = { + , english = {Commentary}{Commentary} + , french = [La]{Commentaire}[Les]{Commentaire} + , ngerman = {Kommentar}{Kommentar} + , italian = [Il]{Commento}[I]{Commento} + , portuguese = [O]{Comentário}[Os]{Comentário} + , brazilian = [O]{Comentário}[Os]{Comentário} + , spanish = [El]{Comentario}[Los]{Comentario} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарий}{Комментарий} + } + } + \NameTheorem { conclusion } { , heading = { @@ -954,8 +1027,8 @@ , portuguese = Exercício , brazilian = Exercício , spanish = Ejercicio - , schinese = 练习 - , tchinese = 練習 + , schinese = 习题 + , tchinese = 習題 , japanese = 練習 , russian = Упражнение } @@ -967,8 +1040,8 @@ , portuguese = [o]{Exercício}[os]{Exercício} , brazilian = [o]{Exercício}[os]{Exercício} , spanish = [el]{Ejercicio}[los]{Ejercicio} - , schinese = {练习}{练习} - , tchinese = {練習}{練習} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} , japanese = {練習}{練習} , russian = {Упражнение}{Упражнение} } @@ -980,8 +1053,8 @@ , portuguese = [O]{Exercício}[Os]{Exercício} , brazilian = [O]{Exercício}[Os]{Exercício} , spanish = [El]{Ejercicio}[Los]{Ejercicio} - , schinese = {练习}{练习} - , tchinese = {練習}{練習} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} , japanese = {練習}{練習} , russian = {Упражнение}{Упражнение} } @@ -1116,6 +1189,49 @@ } } +\NameTheorem { motivation } + { + , heading = { + , english = Motivation + , french = Motivation + , ngerman = Motivation + , italian = Motivazione + , portuguese = Motivação + , brazilian = Motivação + , spanish = Motivacion + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 % モチベーション + , russian = Мотивация + } + , crefname = { + , english = {Motivation}{Motivation} + , french = [la]{Motivation}[les]{Motivation} + , ngerman = {Motivation}{Motivation} + , italian = [la]{Motivazione}[le]{Motivazione} + , portuguese = [a]{Motivação}[as]{Motivação} + , brazilian = [a]{Motivação}[as]{Motivação} + , spanish = [la]{Motivacion}[las]{Motivacion} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивация}{Мотивация} + } + , Crefname = { + , english = {Motivation}{Motivation} + , french = [La]{Motivation}[Les]{Motivation} + , ngerman = {Motivation}{Motivation} + , italian = [La]{Motivazione}[Le]{Motivazione} + , portuguese = [A]{Motivação}[As]{Motivação} + , brazilian = [A]{Motivação}[As]{Motivação} + , spanish = [La]{Motivacion}[Las]{Motivacion} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивация}{Мотивация} + } + } + \NameTheorem { notation } { , heading = { @@ -1554,6 +1670,1490 @@ \NameTheorem { proposition-definition } { combined = { proposition ; definition } } \NameTheorem { theorem-definition } { combined = { theorem ; definition } } +\NameTheorem { applications } + { + , heading = { + , english = Applications + , french = Applications + , ngerman = Anwendungen + , italian = Applicazioni + , portuguese = Aplicações + , brazilian = Aplicações + , spanish = Aplicaciones + , schinese = 应用 + , tchinese = 應用 + , japanese = 応用 + , russian = Приложения + } + , crefname = { + , english = {Applications}{Applications} + , french = [les]{Applications}[les]{Applications} + , ngerman = { {Anwendungen}{Anwendungen} + , Nominativ = [die]{Anwendungen}[die]{Anwendungen} + , Genitiv = [der]{Anwendungen}[der]{Anwendungen} + , Dativ = [den]{Anwendungen}[den]{Anwendungen} + , Akkusativ = [die]{Anwendungen}[die]{Anwendungen} + } + , italian = [le]{Applicazioni}[le]{Applicazioni} + , portuguese = [as]{Aplicações}[as]{Aplicações} + , brazilian = [as]{Aplicações}[as]{Aplicações} + , spanish = [las]{Aplicaciones}[las]{Aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Приложения}{Приложения} + } + , Crefname = { + , english = {Applications}{Applications} + , french = [Les]{Applications}[Les]{Applications} + , ngerman = { {Anwendungen}{Anwendungen} + , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen} + , Genitiv = [Der]{Anwendungen}[Der]{Anwendungen} + , Dativ = [Den]{Anwendungen}[Den]{Anwendungen} + , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen} + } + , italian = [Le]{Applicazioni}[Le]{Applicazioni} + , portuguese = [As]{Aplicações}[As]{Aplicações} + , brazilian = [As]{Aplicações}[As]{Aplicações} + , spanish = [Las]{Aplicaciones}[Las]{Aplicaciones} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Приложения}{Приложения} + } + } + +\NameTheorem { assertions } + { + , heading = { + , english = Assertions + , french = Assertions + , ngerman = Assertionen + , italian = Asserzioni + , portuguese = Asserções + , brazilian = Asserções + , spanish = Aserciones + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждения + } + , crefname = { + , english = {Assertions}{Assertions} + , french = [les]{Assertions}[les]{Assertions} + , ngerman = { {Assertionen}{Assertionen} + , Nominativ = [die]{Assertionen}[die]{Assertionen} + , Genitiv = [der]{Assertionen}[der]{Assertionen} + , Dativ = [den]{Assertionen}[den]{Assertionen} + , Akkusativ = [die]{Assertionen}[die]{Assertionen} + } + , italian = [le]{Asserzioni}[le]{Asserzioni} + , portuguese = [as]{Asserções}[as]{Asserções} + , brazilian = [as]{Asserções}[as]{Asserções} + , spanish = [las]{Aserciones}[las]{Aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + , Crefname = { + , english = {Assertions}{Assertions} + , french = [Les]{Assertions}[Les]{Assertions} + , ngerman = { {Assertionen}{Assertionen} + , Nominativ = [Die]{Assertionen}[Die]{Assertionen} + , Genitiv = [Der]{Assertionen}[Der]{Assertionen} + , Dativ = [Den]{Assertionen}[Den]{Assertionen} + , Akkusativ = [Die]{Assertionen}[Die]{Assertionen} + } + , italian = [Le]{Asserzioni}[Le]{Asserzioni} + , portuguese = [As]{Asserções}[As]{Asserções} + , brazilian = [As]{Asserções}[As]{Asserções} + , spanish = [Las]{Aserciones}[Las]{Aserciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + } + +\NameTheorem { assumptions } + { + , heading = { + , english = Assumptions + , french = Suppositions + , ngerman = Annahmen + , italian = Supposizioni + , portuguese = Suposições + , brazilian = Suposições + , spanish = Suposiciones + , schinese = 假定 + , tchinese = 假定 + , japanese = 仮定 + , russian = Предположения + } + , crefname = { + , english = {Assumptions}{Assumptions} + , french = [les]{Suppositions}[les]{Suppositions} + , ngerman = { {Annahmen}{Annahmen} + , Nominativ = [die]{Annahmen}[die]{Annahmen} + , Genitiv = [der]{Annahmen}[der]{Annahmen} + , Dativ = [den]{Annahmen}[den]{Annahmen} + , Akkusativ = [die]{Annahmen}[die]{Annahmen} + } + , italian = [le]{Supposizioni}[le]{Supposizioni} + , portuguese = [as]{Suposições}[as]{Suposições} + , brazilian = [as]{Suposições}[as]{Suposições} + , spanish = [las]{Suposiciones}[las]{Suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположения}{Предположения} + } + , Crefname = { + , english = {Assumptions}{Assumptions} + , french = [Les]{Suppositions}[Les]{Suppositions} + , ngerman = { {Annahmen}{Annahmen} + , Nominativ = [Die]{Annahmen}[Die]{Annahmen} + , Genitiv = [Der]{Annahmen}[Der]{Annahmen} + , Dativ = [Den]{Annahmen}[Den]{Annahmen} + , Akkusativ = [Die]{Annahmen}[Die]{Annahmen} + } + , italian = [le]{Supposizioni}[le]{Supposizioni} + , portuguese = [As]{Suposições}[As]{Suposições} + , brazilian = [As]{Suposições}[As]{Suposições} + , spanish = [Las]{Suposiciones}[Las]{Suposiciones} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположения}{Предположения} + } + } + +\NameTheorem { axioms } + { + , heading = { + , english = Axioms + , french = Axiomes + , ngerman = Axiome + , italian = Assiomi + , portuguese = Axiomas + , brazilian = Axiomas + , spanish = Axiomas + , schinese = 公理 + , tchinese = 公理 + , japanese = 公理 + , russian = Аксиомы + } + , crefname = { + , english = {Axioms}{Axioms} + , french = [les]{Axiomes}[les]{Axiomes} + , ngerman = { {Axiome}{Axiome} + , Nominativ = [die]{Axiome}[die]{Axiome} + , Genitiv = [der]{Axiome}[der]{Axiome} + , Dativ = [den]{Axiomen}[den]{Axiomen} + , Akkusativ = [die]{Axiome}[die]{Axiome} + } + , italian = [gli]{Assiomi}[gli]{Assiomi} + , portuguese = [os]{Axiomas}[os]{Axiomas} + , brazilian = [os]{Axiomas}[os]{Axiomas} + , spanish = [los]{Axiomas}[los]{Axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиомы}{Аксиомы} + } + , Crefname = { + , english = {Axioms}{Axioms} + , french = [Les]{Axiomes}[Les]{Axiomes} + , ngerman = { {Axiome}{Axiome} + , Nominativ = [Die]{Axiome}[Die]{Axiome} + , Genitiv = [Der]{Axiome}[Der]{Axiome} + , Dativ = [Den]{Axiomen}[Den]{Axiomen} + , Akkusativ = [Die]{Axiome}[Die]{Axiome} + } + , italian = [Gli]{Assiomi}[Gli]{Assiomi} + , portuguese = [Os]{Axiomas}[Os]{Axiomas} + , brazilian = [Os]{Axiomas}[Os]{Axiomas} + , spanish = [Los]{Axiomas}[Los]{Axiomas} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиомы}{Аксиомы} + } + } + +\NameTheorem { claims } + { + , heading = { + , english = Claims + , french = Affirmations + , ngerman = Behauptungen + , italian = Affermazioni + , portuguese = Afirmações + , brazilian = Afirmações + , spanish = Afirmaciones + , schinese = 断言 + , tchinese = 斷言 + , japanese = 断言 + , russian = Утверждения + } + , crefname = { + , english = {Claims}{Claims} + , french = [les]{Affirmations}[les]{Affirmations} + , ngerman = { {Behauptungen}{Behauptungen} + , Nominativ = [die]{Behauptungen}[die]{Behauptungen} + , Genitiv = [der]{Behauptungen}[der]{Behauptungen} + , Dativ = [den]{Behauptungen}[den]{Behauptungen} + , Akkusativ = [die]{Behauptungen}[die]{Behauptungen} + } + , italian = [le]{Affermazioni}[le]{Affermazioni} + , portuguese = [as]{Afirmações}[as]{Afirmações} + , brazilian = [as]{Afirmações}[as]{Afirmações} + , spanish = [las]{Afirmaciones}[las]{Afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + , Crefname = { + , english = {Claims}{Claims} + , french = [Les]{Affirmations}[Les]{Affirmations} + , ngerman = { {Behauptungen}{Behauptungen} + , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen} + , Genitiv = [Der]{Behauptungen}[Der]{Behauptungen} + , Dativ = [Den]{Behauptungen}[Den]{Behauptungen} + , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen} + } + , italian = [Le]{Affermazioni}[Le]{Affermazioni} + , portuguese = [As]{Afirmações}[As]{Afirmações} + , brazilian = [As]{Afirmações}[As]{Afirmações} + , spanish = [Las]{Afirmaciones}[Las]{Afirmaciones} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {断言}{断言} + , russian = {Утверждения}{Утверждения} + } + } + +\NameTheorem { commentaries } + { + , heading = { + , english = Commentaries + , french = Commentaires + , ngerman = Kommentare + , italian = Commenti + , portuguese = Comentários + , brazilian = Comentários + , spanish = Comentarios + , schinese = 解说 + , tchinese = 解說 + , japanese = 解説 + , russian = Комментарии + } + , crefname = { + , english = {Commentaries}{Commentaries} + , french = [les]{Commentaires}[les]{Commentaires} + , ngerman = { {Kommentare}{Kommentare} + , Nominativ = [die]{Kommentare}[die]{Kommentare} + , Genitiv = [der]{Kommentare}[der]{Kommentare} + , Dativ = [den]{Kommentaren}[den]{Kommentaren} + , Akkusativ = [die]{Kommentare}[die]{Kommentare} + } + , italian = [i]{Commenti}[i]{Commenti} + , portuguese = [os]{Comentários}[os]{Comentários} + , brazilian = [os]{Comentários}[os]{Comentários} + , spanish = [los]{Comentarios}[los]{Comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарии}{Комментарии} + } + , Crefname = { + , english = {Commentaries}{Commentaries} + , french = [Les]{Commentaires}[Les]{Commentaires} + , ngerman = { {Kommentare}{Kommentare} + , Nominativ = [Die]{Kommentare}[Die]{Kommentare} + , Genitiv = [Der]{Kommentare}[Der]{Kommentare} + , Dativ = [Den]{Kommentaren}[Den]{Kommentaren} + , Akkusativ = [Die]{Kommentare}[Die]{Kommentare} + } + , italian = [I]{Commenti}[I]{Commenti} + , portuguese = [Os]{Comentários}[Os]{Comentários} + , brazilian = [Os]{Comentários}[Os]{Comentários} + , spanish = [Los]{Comentarios}[Los]{Comentarios} + , schinese = {解说}{解说} + , tchinese = {解說}{解說} + , japanese = {解説}{解説} + , russian = {Комментарии}{Комментарии} + } + } + +\NameTheorem { conclusions } + { + , heading = { + , english = Conclusions + , french = Conclusions + , ngerman = Schlussfolgerungen + , italian = Conclusioni + , portuguese = Conclusões + , brazilian = Conclusões + , spanish = Conclusiones + , schinese = 结论 + , tchinese = 結論 + , japanese = 結論 + , russian = Выводы + } + , crefname = { + , english = {Conclusions}{Conclusions} + , french = [Les]{Conclusions}[Les]{Conclusions} + , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen} + , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen} + , Genitiv = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen} + , Dativ = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen} + , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen} + } + , italian = [le]{Conclusioni}[le]{Conclusioni} + , portuguese = [as]{Conclusões}[as]{Conclusões} + , brazilian = [as]{Conclusões}[as]{Conclusões} + , spanish = [las]{Conclusiones}[las]{Conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Выводы}{Выводы} + } + , Crefname = { + , english = {Conclusions}{Conclusions} + , french = [Les]{Conclusions}[Les]{Conclusions} + , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen} + , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen} + , Genitiv = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen} + , Dativ = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen} + , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen} + } + , italian = [Le]{Conclusioni}[Le]{Conclusioni} + , portuguese = [As]{Conclusões}[As]{Conclusões} + , brazilian = [As]{Conclusões}[As]{Conclusões} + , spanish = [Las]{Conclusiones}[Las]{Conclusiones} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Выводы}{Выводы} + } + } + +\NameTheorem { conjectures } + { + , heading = { + , english = Conjectures + , french = Conjectures + , ngerman = Vermutungen + , italian = Congetture + , portuguese = Conjeturas + , brazilian = Conjecturas + , spanish = Conjeturas + , schinese = 猜想 + , tchinese = 猜想 + , japanese = 予想 + , russian = Гипотезы + } + , crefname = { + , english = {Conjectures}{Conjectures} + , french = [les]{Conjectures}[les]{Conjectures} + , ngerman = { {Vermutungen}{Vermutungen} + , Nominativ = [die]{Vermutungen}[die]{Vermutungen} + , Genitiv = [der]{Vermutungen}[der]{Vermutungen} + , Dativ = [den]{Vermutungen}[den]{Vermutungen} + , Akkusativ = [die]{Vermutungen}[die]{Vermutungen} + } + , italian = [le]{Congetture}[le]{Congetture} + , portuguese = [as]{Conjeturas}[as]{Conjeturas} + , brazilian = [as]{Conjecturas}[as]{Conjecturas} + , spanish = [las]{Conjeturas}[las]{Conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотезы}{Гипотезы} + } + , Crefname = { + , english = {Conjectures}{Conjectures} + , french = [Les]{Conjectures}[Les]{Conjectures} + , ngerman = { {Vermutungen}{Vermutungen} + , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen} + , Genitiv = [Der]{Vermutungen}[Der]{Vermutungen} + , Dativ = [Den]{Vermutungen}[Den]{Vermutungen} + , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen} + } + , italian = [Le]{Congetture}[Le]{Congetture} + , portuguese = [As]{Conjeturas}[As]{Conjeturas} + , brazilian = [As]{Conjecturas}[As]{Conjecturas} + , spanish = [Las]{Conjeturas}[Las]{Conjeturas} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотезы}{Гипотезы} + } + } + +\NameTheorem { constructions } + { + , heading = { + , english = Constructions + , french = Constructions + , ngerman = Konstruktionen + , italian = Costruzioni + , portuguese = Construções + , brazilian = Construções + , spanish = Construcciones + , schinese = 构造 + , tchinese = 構造 + , japanese = 構造 + , russian = Конструкции + } + , crefname = { + , english = {Constructions}{Constructions} + , french = [les]{Constructions}[les]{Constructions} + , ngerman = { {Konstruktionen}{Konstruktionen} + , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen} + , Genitiv = [der]{Konstruktionen}[der]{Konstruktionen} + , Dativ = [den]{Konstruktionen}[den]{Konstruktionen} + , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen} + } + , italian = [le]{Costruzioni}[le]{Costruzioni} + , portuguese = [as]{Construções}[as]{Construções} + , brazilian = [as]{Construções}[as]{Construções} + , spanish = [las]{Construcciones}[las]{Construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкции}{Конструкции} + } + , Crefname = { + , english = {Constructions}{Constructions} + , french = [Les]{Constructions}[Les]{Constructions} + , ngerman = { {Konstruktionen}{Konstruktionen} + , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen} + , Genitiv = [Der]{Konstruktionen}[Der]{Konstruktionen} + , Dativ = [Den]{Konstruktionen}[Den]{Konstruktionen} + , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen} + } + , italian = [Le]{Costruzioni}[Le]{Costruzioni} + , portuguese = [As]{Construções}[As]{Construções} + , brazilian = [As]{Construções}[As]{Construções} + , spanish = [Las]{Construcciones}[Las]{Construcciones} + , schinese = {构造}{构造} + , tchinese = {構造}{構造} + , japanese = {構造}{構造} + , russian = {Конструкции}{Конструкции} + } + } + +\NameTheorem { conventions } + { + , heading = { + , english = Conventions + , french = Conventions + , ngerman = Konventionen + , italian = Convenzioni + , portuguese = Convenções + , brazilian = Convenções + , spanish = Convenciones + , schinese = 约定 + , tchinese = 約定 + , japanese = 慣例 + , russian = Конвенции + } + , crefname = { + , english = {Conventions}{Conventions} + , french = [les]{Conventions}[les]{Conventions} + , ngerman = { {Konventionen}{Konventionen} + , Nominativ = [die]{Konventionen}[die]{Konventionen} + , Genitiv = [der]{Konventionen}[der]{Konventionen} + , Dativ = [den]{Konventionen}[den]{Konventionen} + , Akkusativ = [die]{Konventionen}[die]{Konventionen} + } + , italian = [le]{Convenzioni}[le]{Convenzioni} + , portuguese = [as]{Convenções}[as]{Convenções} + , brazilian = [as]{Convenções}[as]{Convenções} + , spanish = [las]{Convenciones}[las]{Convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенции}{Конвенции} + } + , Crefname = { + , english = {Conventions}{Conventions} + , french = [Les]{Conventions}[Les]{Conventions} + , ngerman = { {Konventionen}{Konventionen} + , Nominativ = [Die]{Konventionen}[Die]{Konventionen} + , Genitiv = [Der]{Konventionen}[Der]{Konventionen} + , Dativ = [Den]{Konventionen}[Den]{Konventionen} + , Akkusativ = [Die]{Konventionen}[Die]{Konventionen} + } + , italian = [Le]{Convenzioni}[Le]{Convenzioni} + , portuguese = [As]{Convenções}[As]{Convenções} + , brazilian = [As]{Convenções}[As]{Convenções} + , spanish = [Las]{Convenciones}[Las]{Convenciones} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенции}{Конвенции} + } + } + +\NameTheorem { corollaries } + { + , heading = { + , english = Corollaries + , french = Corollaires + , ngerman = Korollare + , italian = Corollari + , portuguese = Corolários + , brazilian = Corolários + , spanish = Corolarios + , schinese = 推论 + , tchinese = 推論 + , japanese = 系 + , russian = Следствия + } + , crefname = { + , english = {Corollaries}{Corollaries} + , french = [les]{Corollaires}[les]{Corollaires} + , ngerman = { {Korollare}{Korollare} + , Nominativ = [die]{Korollare}[die]{Korollare} + , Genitiv = [der]{Korollare}[der]{Korollare} + , Dativ = [den]{Korollaren}[den]{Korollaren} + , Akkusativ = [die]{Korollare}[die]{Korollare} + } + , italian = [i]{Corollari}[i]{Corollari} + , portuguese = [os]{Corolários}[os]{Corolários} + , brazilian = [os]{Corolários}[os]{Corolários} + , spanish = [los]{Corolarios}[los]{Corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствия}{Следствия} + } + , Crefname = { + , english = {Corollaries}{Corollaries} + , french = [Les]{Corollaires}[Les]{Corollaires} + , ngerman = { {Korollare}{Korollare} + , Nominativ = [Die]{Korollare}[Die]{Korollare} + , Genitiv = [Der]{Korollare}[Der]{Korollare} + , Dativ = [Den]{Korollaren}[Den]{Korollaren} + , Akkusativ = [Die]{Korollare}[Die]{Korollare} + } + , italian = [I]{Corollari}[I]{Corollari} + , portuguese = [Os]{Corolários}[Os]{Corolários} + , brazilian = [Os]{Corolários}[Os]{Corolários} + , spanish = [Los]{Corolarios}[Los]{Corolarios} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствия}{Следствия} + } + } + +\NameTheorem { definitions } + { + , heading = { + , english = Definitions + , french = Définitions + , ngerman = Definitionen + , italian = Definizioni + , portuguese = Definições + , brazilian = Definições + , spanish = Definiciones + , schinese = 定义 + , tchinese = 定義 + , japanese = 定義 + , russian = Определения + } + , crefname = { + , english = {Definitions}{Definitions} + , french = [les]{Définitions}[les]{Définitions} + , ngerman = { {Definitionen}{Definitionen} + , Nominativ = [die]{Definitionen}[die]{Definitionen} + , Genitiv = [der]{Definitionen}[der]{Definitionen} + , Dativ = [den]{Definitionen}[den]{Definitionen} + , Akkusativ = [die]{Definitionen}[die]{Definitionen} + } + , italian = [le]{Definizioni}[le]{Definizioni} + , portuguese = [as]{Definições}[as]{Definições} + , brazilian = [as]{Definições}[as]{Definições} + , spanish = [las]{Definiciones}[las]{Definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определения}{Определения} + } + , Crefname = { + , english = {Definitions}{Definitions} + , french = [Les]{Définitions}[Les]{Définitions} + , ngerman = { {Definitionen}{Definitionen} + , Nominativ = [Die]{Definitionen}[Die]{Definitionen} + , Genitiv = [Der]{Definitionen}[Der]{Definitionen} + , Dativ = [Den]{Definitionen}[Den]{Definitionen} + , Akkusativ = [Die]{Definitionen}[Die]{Definitionen} + } + , italian = [Le]{Definizioni}[Le]{Definizioni} + , portuguese = [As]{Definições}[As]{Definições} + , brazilian = [As]{Definições}[As]{Definições} + , spanish = [Las]{Definiciones}[Las]{Definiciones} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определения}{Определения} + } + } + +\NameTheorem { examples } + { + , heading = { + , english = Examples + , french = Exemples + , ngerman = Beispiele + , italian = Esempi + , portuguese = Exemplos + , brazilian = Exemplos + , spanish = Ejemplos + , schinese = 例 + , tchinese = 例 + , japanese = 例 + , russian = Примеры + } + , crefname = { + , english = {Examples}{Examples} + , french = [les]{Exemples}[les]{Exemples} + , ngerman = { {Beispiele}{Beispiele} + , Nominativ = [die]{Beispiele}[die]{Beispiele} + , Genitiv = [der]{Beispiele}[der]{Beispiele} + , Dativ = [den]{Beispielen}[den]{Beispielen} + , Akkusativ = [die]{Beispiele}[die]{Beispiele} + } + , italian = [gli]{Esempi}[gli]{Esempi} + , portuguese = [os]{Exemplos}[os]{Exemplos} + , brazilian = [os]{Exemplos}[os]{Exemplos} + , spanish = [los]{Ejemplos}[los]{Ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Примеры}{Примеры} + } + , Crefname = { + , english = {Examples}{Examples} + , french = [Les]{Exemples}[Les]{Exemples} + , ngerman = { {Beispiele}{Beispiele} + , Nominativ = [Die]{Beispiele}[Die]{Beispiele} + , Genitiv = [Der]{Beispiele}[Der]{Beispiele} + , Dativ = [Den]{Beispielen}[Den]{Beispielen} + , Akkusativ = [Die]{Beispiele}[Die]{Beispiele} + } + , italian = [Gli]{Esempi}[Gli]{Esempi} + , portuguese = [Os]{Exemplos}[Os]{Exemplos} + , brazilian = [Os]{Exemplos}[Os]{Exemplos} + , spanish = [Los]{Ejemplos}[Los]{Ejemplos} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Примеры}{Примеры} + } + } + +\NameTheorem { exercises } + { + , heading = { + , english = Exercises + , french = Exercices + , ngerman = ÜBungen + , italian = Esercizi + , portuguese = Exercícios + , brazilian = Exercícios + , spanish = Ejercicios + , schinese = 习题 + , tchinese = 習題 + , japanese = 練習 + , russian = Упражнения + } + , crefname = { + , english = {Exercises}{Exercises} + , french = [les]{Exercices}[les]{Exercices} + , ngerman = { {Übungen}{Übungen} + , Nominativ = [die]{Übungen}[die]{Übungen} + , Genitiv = [der]{Übungen}[der]{Übungen} + , Dativ = [den]{Übungen}[den]{Übungen} + , Akkusativ = [die]{Übungen}[die]{Übungen} + } + , italian = [gli]{Esercizi}[gli]{Esercizi} + , portuguese = [os]{Exercícios}[os]{Exercícios} + , brazilian = [os]{Exercícios}[os]{Exercícios} + , spanish = [los]{Ejercicios}[los]{Ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнения}{Упражнения} + } + , Crefname = { + , english = {Exercises}{Exercises} + , french = [Les]{Exercices}[Les]{Exercices} + , ngerman = { {Übungen}{Übungen} + , Nominativ = [Die]{Übungen}[Die]{Übungen} + , Genitiv = [Der]{Übungen}[Der]{Übungen} + , Dativ = [Den]{Übungen}[Den]{Übungen} + , Akkusativ = [Die]{Übungen}[Die]{Übungen} + } + , italian = [Gli]{Esercizi}[Gli]{Esercizi} + , portuguese = [Os]{Exercícios}[Os]{Exercícios} + , brazilian = [Os]{Exercícios}[Os]{Exercícios} + , spanish = [Los]{Ejercicios}[Los]{Ejercicios} + , schinese = {习题}{习题} + , tchinese = {習題}{習題} + , japanese = {練習}{練習} + , russian = {Упражнения}{Упражнения} + } + } + +\NameTheorem { facts } + { + , heading = { + , english = Facts + , french = Faits + , ngerman = Tatsachen + , italian = Fatti + , portuguese = Factos + , brazilian = Fatos + , spanish = Hechos + , schinese = 事实 + , tchinese = 事實 + , japanese = 事実 + , russian = Факты + } + , crefname = { + , english = {Facts}{Facts} + , french = [les]{Faits}[les]{Faits} + , ngerman = { {Tatsachen}{Tatsachen} + , Nominativ = [die]{Tatsachen}[die]{Tatsachen} + , Genitiv = [der]{Tatsachen}[der]{Tatsachen} + , Dativ = [den]{Tatsachen}[den]{Tatsachen} + , Akkusativ = [die]{Tatsachen}[die]{Tatsachen} + } + , italian = [i]{Fatti}[i]{Fatti} + , portuguese = [os]{Factos}[os]{Factos} + , brazilian = [os]{Fatos}[os]{Fatos} + , spanish = [los]{Hechos}[los]{Hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факты}{Факты} + } + , Crefname = { + , english = {Facts}{Facts} + , french = [Les]{Faits}[Les]{Faits} + , ngerman = { {Tatsachen}{Tatsachen} + , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen} + , Genitiv = [Der]{Tatsachen}[Der]{Tatsachen} + , Dativ = [Den]{Tatsachen}[Den]{Tatsachen} + , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen} + } + , italian = [I]{Fatti}[I]{Fatti} + , portuguese = [Os]{Factos}[Os]{Factos} + , brazilian = [Os]{Fatos}[Os]{Fatos} + , spanish = [Los]{Hechos}[Los]{Hechos} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факты}{Факты} + } + } + +\NameTheorem { hypotheses } + { + , heading = { + , english = Hypotheses + , french = Hypothèses + , ngerman = Hypothesen + , italian = Ipotesi + , portuguese = Hipóteses + , brazilian = Hipóteses + , spanish = Hipótesis + , schinese = 假设 + , tchinese = 假設 + , japanese = 仮設 + , russian = Гипотезы + } + , crefname = { + , english = {Hypotheses}{Hypotheses} + , french = [les]{Hypothèses}[les]{Hypothèses} + , ngerman = { {Hypothesen}{Hypothesen} + , Nominativ = [die]{Hypothesen}[die]{Hypothesen} + , Genitiv = [der]{Hypothesen}[der]{Hypothesen} + , Dativ = [den]{Hypothesen}[den]{Hypothesen} + , Akkusativ = [die]{Hypothesen}[die]{Hypothesen} + } + , italian = [le]{Ipotesi}[le]{Ipotesi} + , portuguese = [as]{Hipóteses}[as]{Hipóteses} + , brazilian = [as]{Hipóteses}[as]{Hipóteses} + , spanish = [las]{Hipótesis}[las]{Hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотезы}{Гипотезы} + } + , Crefname = { + , english = {Hypotheses}{Hypotheses} + , french = [Les]{Hypothèses}[Les]{Hypothèses} + , ngerman = { {Hypothesen}{Hypothesen} + , Nominativ = [Die]{Hypothesen}[Die]{Hypothesen} + , Genitiv = [Der]{Hypothesen}[Der]{Hypothesen} + , Dativ = [Den]{Hypothesen}[Den]{Hypothesen} + , Akkusativ = [Die]{Hypothesen}[Die]{Hypothesen} + } + , italian = [Le]{Ipotesi}[Le]{Ipotesi} + , portuguese = [As]{Hipóteses}[As]{Hipóteses} + , brazilian = [As]{Hipóteses}[As]{Hipóteses} + , spanish = [Las]{Hipótesis}[Las]{Hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотезы}{Гипотезы} + } + } + +\NameTheorem { lemmas } + { + , heading = { + , english = Lemmas + , french = Lemmes + , ngerman = Lemmata + , italian = Lemmi + , portuguese = Lemas + , brazilian = Lemas + , spanish = Lemas + , schinese = 引理 + , tchinese = 引理 + , japanese = 補題 + , russian = Леммы + } + , crefname = { + , english = {Lemmas}{Lemmas} + , french = [les]{Lemmes}[les]{Lemmes} + , ngerman = { {Lemmata}{Lemmata} + , Nominativ = [die]{Lemmata}[die]{Lemmata} + , Genitiv = [der]{Lemmata}[der]{Lemmata} + , Dativ = [den]{Lemmata}[den]{Lemmata} + , Akkusativ = [die]{Lemmata}[die]{Lemmata} + } + , italian = [i]{Lemmi}[i]{Lemmi} + , portuguese = [os]{Lemas}[os]{Lemas} + , brazilian = [os]{Lemas}[os]{Lemas} + , spanish = [las]{Lemas}[las]{Lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Леммы}{Леммы} + } + , Crefname = { + , english = {Lemmas}{Lemmas} + , french = [Les]{Lemmes}[Les]{Lemmes} + , ngerman = { {Lemmata}{Lemmata} + , Nominativ = [Die]{Lemmata}[Die]{Lemmata} + , Genitiv = [Der]{Lemmata}[Der]{Lemmata} + , Dativ = [Den]{Lemmata}[Den]{Lemmata} + , Akkusativ = [Die]{Lemmata}[Die]{Lemmata} + } + , italian = [I]{Lemmi}[I]{Lemmi} + , portuguese = [Os]{Lemas}[Os]{Lemas} + , brazilian = [Os]{Lemas}[Os]{Lemas} + , spanish = [las]{Lemas}[las]{Lemas} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Леммы}{Леммы} + } + } + +\NameTheorem { motivations } + { + , heading = { + , english = Motivations + , french = Motivations + , ngerman = Motivationen + , italian = Motivazioni + , portuguese = Motivações + , brazilian = Motivações + , spanish = Motivaciones + , schinese = 动机 + , tchinese = 動機 + , japanese = 動機 + , russian = Мотивации + } + , crefname = { + , english = {Motivations}{Motivations} + , french = [les]{Motivations}[les]{Motivations} + , ngerman = { {Motivationen}{Motivationen} + , Nominativ = [die]{Motivationen}[die]{Motivationen} + , Genitiv = [der]{Motivationen}[der]{Motivationen} + , Dativ = [den]{Motivationen}[den]{Motivationen} + , Akkusativ = [die]{Motivationen}[die]{Motivationen} + } + , italian = [le]{Motivazioni}[le]{Motivazioni} + , portuguese = [as]{Motivações}[as]{Motivações} + , brazilian = [as]{Motivações}[as]{Motivações} + , spanish = [las]{Motivaciones}[las]{Motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивации}{Мотивации} + } + , Crefname = { + , english = {Motivations}{Motivations} + , french = [Les]{Motivations}[Les]{Motivations} + , ngerman = { {Motivationen}{Motivationen} + , Nominativ = [Die]{Motivationen}[Die]{Motivationen} + , Genitiv = [Der]{Motivationen}[Der]{Motivationen} + , Dativ = [Den]{Motivationen}[Den]{Motivationen} + , Akkusativ = [Die]{Motivationen}[Die]{Motivationen} + } + , italian = [Le]{Motivazioni}[Le]{Motivazioni} + , portuguese = [As]{Motivações}[As]{Motivações} + , brazilian = [As]{Motivações}[As]{Motivações} + , spanish = [Las]{Motivaciones}[Las]{Motivaciones} + , schinese = {动机}{动机} + , tchinese = {動機}{動機} + , japanese = {動機}{動機} + , russian = {Мотивации}{Мотивации} + } + } + +\NameTheorem { notations } + { + , heading = { + , english = Notations + , french = Notations + , ngerman = Notationen + , italian = Notazioni + , portuguese = Notações + , brazilian = Notações + , spanish = Notaciones + , schinese = 记号 + , tchinese = 記號 + , japanese = 記法 + , russian = Нотации + } + , crefname = { + , english = {Notations}{Notations} + , french = [les]{Notations}[les]{Notations} + , ngerman = { {Notationen}{Notationen} + , Nominativ = [die]{Notationen}[die]{Notationen} + , Genitiv = [der]{Notationen}[der]{Notationen} + , Dativ = [den]{Notationen}[den]{Notationen} + , Akkusativ = [die]{Notationen}[die]{Notationen} + } + , italian = [le]{Notazioni}[le]{Notazioni} + , portuguese = [as]{Notações}[as]{Notações} + , brazilian = [as]{Notações}[as]{Notações} + , spanish = [las]{Notaciones}[las]{Notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотации}{Нотации} + } + , Crefname = { + , english = {Notations}{Notations} + , french = [Les]{Notations}[Les]{Notations} + , ngerman = { {Notationen}{Notationen} + , Nominativ = [Die]{Notationen}[Die]{Notationen} + , Genitiv = [Der]{Notationen}[Der]{Notationen} + , Dativ = [Den]{Notationen}[Den]{Notationen} + , Akkusativ = [Die]{Notationen}[Die]{Notationen} + } + , italian = [Le]{Notazioni}[Le]{Notazioni} + , portuguese = [As]{Notações}[As]{Notações} + , brazilian = [As]{Notações}[As]{Notações} + , spanish = [Las]{Notaciones}[Las]{Notaciones} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотации}{Нотации} + } + } + +\NameTheorem { observations } + { + , heading = { + , english = Observations + , french = Observations + , ngerman = Beobachtungen + , italian = Osservazioni + , portuguese = Observações + , brazilian = Observações + , spanish = Observaciones + , schinese = 观察 + , tchinese = 觀察 + , japanese = 観察 + , russian = Наблюдения + } + , crefname = { + , english = {Observations}{Observations} + , french = [les]{Observations}[les]{Observations} + , ngerman = { {Beobachtungen}{Beobachtungen} + , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen} + , Genitiv = [der]{Beobachtungen}[der]{Beobachtungen} + , Dativ = [den]{Beobachtungen}[den]{Beobachtungen} + , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen} + } + , italian = [le]{Osservazioni}[le]{Osservazioni} + , portuguese = [as]{Observações}[as]{Observações} + , brazilian = [as]{Observações}[as]{Observações} + , spanish = [las]{Observaciones}[las]{Observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдения}{Наблюдения} + } + , Crefname = { + , english = {Observations}{Observations} + , french = [Les]{Observations}[Les]{Observations} + , ngerman = { {Beobachtungen}{Beobachtungen} + , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen} + , Genitiv = [Der]{Beobachtungen}[Der]{Beobachtungen} + , Dativ = [Den]{Beobachtungen}[Den]{Beobachtungen} + , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen} + } + , italian = [Le]{Osservazioni}[Le]{Osservazioni} + , portuguese = [As]{Observações}[As]{Observações} + , brazilian = [As]{Observações}[As]{Observações} + , spanish = [Las]{Observaciones}[Las]{Observaciones} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдения}{Наблюдения} + } + } + +\NameTheorem { postulates } + { + , heading = { + , english = Postulates + , french = Postulats + , ngerman = Postulate + , italian = Postulati + , portuguese = Postulados + , brazilian = Postulados + , spanish = Postulados + , schinese = 公设 + , tchinese = 公設 + , japanese = 公準 + , russian = Постулаты + } + , crefname = { + , english = {Postulates}{Postulates} + , french = [les]{Postulats}[les]{Postulats} + , ngerman = { {Postulate}{Postulate} + , Nominativ = [die]{Postulate}[die]{Postulate} + , Genitiv = [der]{Postulate}[der]{Postulate} + , Dativ = [den]{Postulaten}[den]{Postulaten} + , Akkusativ = [die]{Postulate}[die]{Postulate} + } + , italian = [i]{Postulati}[i]{Postulati} + , portuguese = [os]{Postulados}[os]{Postulados} + , brazilian = [os]{Postulados}[os]{Postulados} + , spanish = [los]{Postulados}[los]{Postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулаты}{Постулаты} + } + , Crefname = { + , english = {Postulates}{Postulates} + , french = [Les]{Postulats}[Les]{Postulats} + , ngerman = { {Postulate}{Postulate} + , Nominativ = [Die]{Postulate}[Die]{Postulate} + , Genitiv = [Der]{Postulate}[Der]{Postulate} + , Dativ = [Den]{Postulaten}[Den]{Postulaten} + , Akkusativ = [Die]{Postulate}[Die]{Postulate} + } + , italian = [I]{Postulati}[I]{Postulati} + , portuguese = [Os]{Postulados}[Os]{Postulados} + , brazilian = [Os]{Postulados}[Os]{Postulados} + , spanish = [Los]{Postulados}[Los]{Postulados} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулаты}{Постулаты} + } + } + +\NameTheorem { problems } + { + , heading = { + , english = Problems + , french = Problèmes + , ngerman = Probleme + , italian = Problemi + , portuguese = Problemas + , brazilian = Problemas + , spanish = Problemas + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Проблемы + } + , crefname = { + , english = {Problems}{Problems} + , french = [les]{Problèmes}[les]{Problèmes} + , ngerman = { {Probleme}{Probleme} + , Nominativ = [die]{Probleme}[die]{Probleme} + , Genitiv = [der]{Probleme}[der]{Probleme} + , Dativ = [den]{Problemen}[den]{Problemen} + , Akkusativ = [die]{Probleme}[die]{Probleme} + } + , italian = [i]{Problemi}[i]{Problemi} + , portuguese = [os]{Problemas}[os]{Problemas} + , brazilian = [os]{Problemas}[os]{Problemas} + , spanish = [los]{Problemas}[los]{Problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблемы}{Проблемы} + } + , Crefname = { + , english = {Problems}{Problems} + , french = [Les]{Problèmes}[Les]{Problèmes} + , ngerman = { {Probleme}{Probleme} + , Nominativ = [Die]{Probleme}[Die]{Probleme} + , Genitiv = [Der]{Probleme}[Der]{Probleme} + , Dativ = [Den]{Problemen}[Den]{Problemen} + , Akkusativ = [Die]{Probleme}[Die]{Probleme} + } + , italian = [I]{Problemi}[I]{Problemi} + , portuguese = [Os]{Problemas}[Os]{Problemas} + , brazilian = [Os]{Problemas}[Os]{Problemas} + , spanish = [Los]{Problemas}[Los]{Problemas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблемы}{Проблемы} + } + } + +\NameTheorem { properties } + { + , heading = { + , english = Properties + , french = Propriétés + , ngerman = Eigenschaften + , italian = Proprietà + , portuguese = Propriedades + , brazilian = Propriedades + , spanish = Propiedades + , schinese = 性质 + , tchinese = 性質 + , japanese = 性質 + , russian = Имущества + } + , crefname = { + , english = {Properties}{Properties} + , french = [les]{Propriétés}[les]{Propriétés} + , ngerman = { {Eigenschaften}{Eigenschaften} + , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften} + , Genitiv = [der]{Eigenschaften}[der]{Eigenschaften} + , Dativ = [den]{Eigenschaften}[den]{Eigenschaften} + , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften} + } + , italian = [le]{Proprietà}[le]{Proprietà} + , portuguese = [as]{Propriedades}[as]{Propriedades} + , brazilian = [as]{Propriedades}[as]{Propriedades} + , spanish = [las]{Propiedades}[las]{Propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущества}{Имущества} + } + , Crefname = { + , english = {Properties}{Properties} + , french = [Les]{Propriétés}[Les]{Propriétés} + , ngerman = { {Eigenschaften}{Eigenschaften} + , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften} + , Genitiv = [Der]{Eigenschaften}[Der]{Eigenschaften} + , Dativ = [Den]{Eigenschaften}[Den]{Eigenschaften} + , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften} + } + , italian = [Le]{Proprietà}[Le]{Proprietà} + , portuguese = [As]{Propriedades}[As]{Propriedades} + , brazilian = [As]{Propriedades}[As]{Propriedades} + , spanish = [Las]{Propiedades}[Las]{Propiedades} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущества}{Имущества} + } + } + +\NameTheorem { propositions } + { + , heading = { + , english = Propositions + , french = Propositions + , ngerman = Propositionen + , italian = Proposte + , portuguese = Proposições + , brazilian = Proposições + , spanish = Proposiciones + , schinese = 命题 + , tchinese = 命題 + , japanese = 命題 + , russian = Предложения + } + , crefname = { + , english = {Propositions}{Propositions} + , french = [les]{Propositions}[les]{Propositions} + , ngerman = { {Propositionen}{Propositionen} + , Nominativ = [die]{Propositionen}[die]{Propositionen} + , Genitiv = [der]{Propositionen}[der]{Propositionen} + , Dativ = [den]{Propositionen}[den]{Propositionen} + , Akkusativ = [die]{Propositionen}[die]{Propositionen} + } + , italian = [le]{Proposte}[le]{Proposte} + , portuguese = [as]{Proposições}[as]{Proposições} + , brazilian = [as]{Proposições}[as]{Proposições} + , spanish = [las]{Proposiciones}[las]{Proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложения}{Предложения} + } + , Crefname = { + , english = {Propositions}{Propositions} + , french = [Les]{Propositions}[Les]{Propositions} + , ngerman = { {Propositionen}{Propositionen} + , Nominativ = [Die]{Propositionen}[Die]{Propositionen} + , Genitiv = [Der]{Propositionen}[Der]{Propositionen} + , Dativ = [Den]{Propositionen}[Den]{Propositionen} + , Akkusativ = [Die]{Propositionen}[Die]{Propositionen} + } + , italian = [Le]{Proposte}[Le]{Proposte} + , portuguese = [As]{Proposições}[As]{Proposições} + , brazilian = [As]{Proposições}[As]{Proposições} + , spanish = [Las]{Proposiciones}[Las]{Proposiciones} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложения}{Предложения} + } + } + +\NameTheorem { questions } + { + , heading = { + , english = Questions + , french = Questions + , ngerman = Fragen + , italian = Domande + , portuguese = Perguntas + , brazilian = Perguntas + , spanish = Preguntas + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Вопросы + } + , crefname = { + , english = {Questions}{Questions} + , french = [les]{Questions}[les]{Questions} + , ngerman = { {Fragen}{Fragen} + , Nominativ = [die]{Fragen}[die]{Fragen} + , Genitiv = [der]{Fragen}[der]{Fragen} + , Dativ = [den]{Fragen}[den]{Fragen} + , Akkusativ = [die]{Fragen}[die]{Fragen} + } + , italian = [le]{Domande}[le]{Domande} + , portuguese = [as]{Perguntas}[as]{Perguntas} + , brazilian = [as]{Perguntas}[as]{Perguntas} + , spanish = [las]{Preguntas}[las]{Preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопросы}{Вопросы} + } + , Crefname = { + , english = {Questions}{Questions} + , french = [Les]{Questions}[Les]{Questions} + , ngerman = { {Fragen}{Fragen} + , Nominativ = [Die]{Fragen}[Die]{Fragen} + , Genitiv = [Der]{Fragen}[Der]{Fragen} + , Dativ = [Den]{Fragen}[Den]{Fragen} + , Akkusativ = [Die]{Fragen}[Die]{Fragen} + } + , italian = [Le]{Domande}[Le]{Domande} + , portuguese = [As]{Perguntas}[As]{Perguntas} + , brazilian = [As]{Perguntas}[As]{Perguntas} + , spanish = [Las]{Preguntas}[Las]{Preguntas} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопросы}{Вопросы} + } + } + +\NameTheorem { recalls } + { + , heading = { + , english = Recalls + , french = Rappels + , ngerman = Erinnerungen + , italian = Richiami + , portuguese = Recordações + , brazilian = Recordações + , spanish = Recuerdos + , schinese = 回顾 + , tchinese = 回顧 + , japanese = 回顧 + , russian = Напоминания + } + , crefname = { + , english = {Recalls}{Recalls} + , french = [les]{Rappels}[les]{Rappels} + , ngerman = { {Erinnerungen}{Erinnerungen} + , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen} + , Genitiv = [der]{Erinnerungen}[der]{Erinnerungen} + , Dativ = [den]{Erinnerungen}[den]{Erinnerungen} + , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen} + } + , italian = [i]{Richiami}[i]{Richiami} + , portuguese = [as]{Recordações}[as]{Recordações} + , brazilian = [as]{Recordações}[as]{Recordações} + , spanish = [los]{Recuerdos}[los]{Recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминания}{Напоминания} + } + , Crefname = { + , english = {Recalls}{Recalls} + , french = [Les]{Rappels}[Les]{Rappels} + , ngerman = { {Erinnerungen}{Erinnerungen} + , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen} + , Genitiv = [Der]{Erinnerungen}[Der]{Erinnerungen} + , Dativ = [Den]{Erinnerungen}[Den]{Erinnerungen} + , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen} + } + , italian = [I]{Richiami}[I]{Richiami} + , portuguese = [As]{Recordações}[As]{Recordações} + , brazilian = [As]{Recordações}[As]{Recordações} + , spanish = [Los]{Recuerdos}[Los]{Recuerdos} + , schinese = {回顾}{回顾} + , tchinese = {回顧}{回顧} + , japanese = {回顧}{回顧} + , russian = {Напоминания}{Напоминания} + } + } + +\NameTheorem { remarks } + { + , heading = { + , english = Remarks + , french = Remarques + , ngerman = Bemerkungen + , italian = Commenti + , portuguese = Comentários + , brazilian = Comentários + , spanish = Comentarios + , schinese = 备注 + , tchinese = 備註 + , japanese = 注釈 + , russian = Замечания + } + , crefname = { + , english = {Remarks}{Remarks} + , french = [les]{Remarques}[les]{Remarques} + , ngerman = { {Bemerkungen}{Bemerkungen} + , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen} + , Genitiv = [der]{Bemerkungen}[der]{Bemerkungen} + , Dativ = [den]{Bemerkungen}[den]{Bemerkungen} + , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen} + } + , italian = [i]{Commenti}[i]{Commenti} + , portuguese = [os]{Comentários}[os]{Comentários} + , brazilian = [os]{Comentários}[os]{Comentários} + , spanish = [los]{Comentarios}[los]{Comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечания}{Замечания} + } + , Crefname = { + , english = {Remarks}{Remarks} + , french = [Les]{Remarques}[Les]{Remarques} + , ngerman = { {Bemerkungen}{Bemerkungen} + , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen} + , Genitiv = [Der]{Bemerkungen}[Der]{Bemerkungen} + , Dativ = [Den]{Bemerkungen}[Den]{Bemerkungen} + , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen} + } + , italian = [I]{Commenti}[I]{Commenti} + , portuguese = [Os]{Comentários}[Os]{Comentários} + , brazilian = [Os]{Comentários}[Os]{Comentários} + , spanish = [Los]{Comentarios}[Los]{Comentarios} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечания}{Замечания} + } + } + +\NameTheorem { theorems } + { + , heading = { + , english = Theorems + , french = Théorèmes + , ngerman = Sätze + , italian = Teoremi + , portuguese = Teoremas + , brazilian = Teoremas + , spanish = Teoremas + , schinese = 定理 + , tchinese = 定理 + , japanese = 定理 + , russian = Теоремы + } + , crefname = { + , english = {Theorems}{Theorems} + , french = [les]{Théorèmes}[les]{Théorèmes} + , ngerman = { {Sätze}{Sätze} + , Nominativ = [die]{Sätze}[die]{Sätze} + , Genitiv = [der]{Sätze}[der]{Sätze} + , Dativ = [den]{Sätzen}[den]{Sätzen} + , Akkusativ = [die]{Sätze}[die]{Sätze} + } + , italian = [i]{Teoremi}[i]{Teoremi} + , portuguese = [os]{Teoremas}[os]{Teoremas} + , brazilian = [os]{Teoremas}[os]{Teoremas} + , spanish = [los]{Teoremas}[los]{Teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теоремы}{Теоремы} + } + , Crefname = { + , english = {Theorems}{Theorems} + , french = [Les]{Théorèmes}[Les]{Théorèmes} + , ngerman = { {Sätze}{Sätze} + , Nominativ = [Die]{Sätze}[Die]{Sätze} + , Genitiv = [Der]{Sätze}[Der]{Sätze} + , Dativ = [Den]{Sätzen}[Den]{Sätzen} + , Akkusativ = [Die]{Sätze}[Die]{Sätze} + } + , italian = [I]{Teoremi}[I]{Teoremi} + , portuguese = [Os]{Teoremas}[Os]{Teoremas} + , brazilian = [Os]{Teoremas}[Os]{Teoremas} + , spanish = [Los]{Teoremas}[Los]{Teoremas} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теоремы}{Теоремы} + } + } + \endinput %% %% End of file `projlib-theorem.sty'. diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-titlepage.sty b/Master/texmf-dist/tex/latex/projlib/projlib-titlepage.sty index e1526bc2088..577a3f230c2 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-titlepage.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-titlepage.sty @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplPackage {projlib-titlepage} - {2024/02/03} {} + {2024/02/20} {} {Interface for title page rendering} \keys_define:nn { projlib-titlepage } diff --git a/Master/texmf-dist/tex/latex/simplivre/simplivre.cls b/Master/texmf-dist/tex/latex/simplivre/simplivre.cls index 5bf6da66ddc..43ed3e3f303 100644 --- a/Master/texmf-dist/tex/latex/simplivre/simplivre.cls +++ b/Master/texmf-dist/tex/latex/simplivre/simplivre.cls @@ -2,7 +2,7 @@ %% This is file `simplivre/simplivre.cls', %% generated with the docstrip utility. %% -%% Copyright (C) 2021-2023 by Jinwen XU +%% Copyright (C) 2021-2024 by Jinwen XU %% %% This is part of the minimalist class series. %% @@ -18,7 +18,7 @@ \NeedsTeXFormat{LaTeX2e}[2022-06-01] \ProvidesExplClass {simplivre} - {2023/09/26} {} + {2024/02/20} {} {A simple and clear book style} \tl_const:Nn \l__minimclass_base_class_tl { book } @@ -655,7 +655,7 @@ ] \setmathfont { texgyrepagella-math.otf } [ - range = { `(, `) } , + range = { `(, `), `/, \setminus } , Scale = 1.10 ] \setmathfont { texgyrepagella-math.otf } @@ -684,6 +684,9 @@ \newcommand{\limstrut}{\vrule depth0.2ex width 0pt} \renewcommand{\varprojlim}{\mathop{\underleftarrow{{\lim}\limstrut}}} \renewcommand{\varinjlim}{\mathop{\underrightarrow{{\lim}\limstrut}}} + + \let\setminus@old\setminus + \renewcommand*{\setminus}{\!\setminus@old\!} } % https://tex.stackexchange.com/a/647789 -- cgit v1.2.3