summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty
diff options
context:
space:
mode:
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.sty1395
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'.