diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty | 1395 |
1 files changed, 4 insertions, 1391 deletions
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'. |