%%
%% Copyright (C) 2021-2024 by Jinwen XU
%% ------------------------------------
%%
%% This file may be distributed and/or modified under the conditions of
%% the LaTeX Project Public License, either version 1.3c of this license
%% or (at your option) any later version. The latest version of this
%% license is in:
%%
%% http://www.latex-project.org/lppl.txt
%%
\NeedsTeXFormat{LaTeX2e}[2022-06-01]
\ProvidesExplPackage
{create-theorem}
{2024/02/25} {}
{Initializing theorem-like environments with multilingual support}
\keys_define:nn { create-theorem }
{
, name-as-context .bool_set:N = \l__crthm_regionalref_bool
, name-as-context .initial:n = { true }
, name~as~context .bool_set:N = \l__crthm_regionalref_bool
, name as context .bool_set:N = \l__crthm_regionalref_bool
, regionalref .bool_set:N = \l__crthm_regionalref_bool
, name-as-is .bool_set_inverse:N = \l__crthm_regionalref_bool
, name~as~is .bool_set_inverse:N = \l__crthm_regionalref_bool
, name as is .bool_set_inverse:N = \l__crthm_regionalref_bool
, originalref .bool_set_inverse:N = \l__crthm_regionalref_bool
, name-in-link .bool_set:N = \l__crthm_nameinlink_bool
, name-in-link .initial:n = { false }
, name~in~link .bool_set:N = \l__crthm_nameinlink_bool
, name in link .bool_set:N = \l__crthm_nameinlink_bool
, no-preset-names .bool_set_inverse:N = \l__crthm_presetname_bool
, no-preset-names .initial:n = { false }
, no~preset~names .bool_set_inverse:N = \l__crthm_presetname_bool
, no preset names .bool_set_inverse:N = \l__crthm_presetname_bool
, unknown .code:n = {}
}
\ProcessKeyOptions [ create-theorem ]
\msg_new:nnn { create-theorem }
{ no-backend }
{ A~backend~(such~as~"amsthm")~~is~needed~to~provide~the~commands~"\iow_char:N \\newtheorem(*)"~and~"\iow_char:N \\theoremstyle"~with~the~usual~behaviour. }
\cs_if_exist:cF { theoremstyle }
{
\msg_error:nn { create-theorem } { no-backend }
}
\bool_if:NT \l__crthm_nameinlink_bool
{
\PassOptionsToPackage { nameinlink } { cleveref }
}
\RequirePackage { crefthe }
\RequirePackage { amsfonts }
\IfPackageLoadedTF { thmtools }
{
\cs_gset_eq:NN \crthm_newtheorem:w \thmt@original@newtheorem
}
{
\cs_gset_eq:NN \crthm_newtheorem:w \newtheorem
}
% Users should consider appending their languages to this list as needed,
% otherwise the naming functionality may not work in monolingual documents.
\clist_new:N \g_crthm_supported_language_clist
\clist_gset:Nn \g_crthm_supported_language_clist
{
english ,
french ,
ngerman ,
italian ,
portuguese ,
brazilian ,
spanish ,
schinese ,
tchinese ,
japanese ,
russian ,
}
\cs_new:Nn \crthm_add_to_language_list:n
{
\clist_gput_right:Nn \g_crthm_supported_language_clist { #1 }
\clist_gremove_duplicates:N \g_crthm_supported_language_clist
}
\NewDocumentCommand \CreateTheoremAddLanguage { m }
{
\crthm_add_to_language_list:n { #1 }
}
\tl_new:N \l__crthm_current_env_tl
\keys_define:nn { create-theorem-naming }
{
, heading .code:n = { \crthm_set_name_heading:en { \l__crthm_current_env_tl } { #1 } }
, heading .value_required:n = true
, crefname .code:n = { \crthm_set_name_crefname:en { \l__crthm_current_env_tl } { #1 } }
, crefname .value_required:n = true
, Crefname .code:n = { \crthm_set_name_Crefname:en { \l__crthm_current_env_tl } { #1 } }
, Crefname .value_required:n = true
, heading~style .code:n = { \crthm_set_name_style_heading:en { \l__crthm_current_env_tl } { #1 } }
, heading~style .value_required:n = true
, heading-style .meta:n = { heading~style = { #1 } }
, heading-style .value_required:n = true
, heading style .meta:n = { heading~style = { #1 } }
, heading style .value_required:n = true
, crefname~style .code:n = { \crthm_set_name_style_crefname:en { \l__crthm_current_env_tl } { #1 } }
, crefname~style .value_required:n = true
, crefname-style .meta:n = { crefname~style = { #1 } }
, crefname-style .value_required:n = true
, crefname style .meta:n = { crefname~style = { #1 } }
, crefname style .value_required:n = true
, Crefname~style .code:n = { \crthm_set_name_style_Crefname:en { \l__crthm_current_env_tl } { #1 } }
, Crefname~style .value_required:n = true
, Crefname-style .meta:n = { Crefname~style = { #1 } }
, Crefname-style .value_required:n = true
, Crefname style .meta:n = { Crefname~style = { #1 } }
, Crefname style .value_required:n = true
, numbering~style .code:n = { \crthm_set_name_style_numbering:en { \l__crthm_current_env_tl } { #1 } }
, numbering~style .value_required:n = true
, numbering-style .meta:n = { numbering~style = { #1 } }
, numbering-style .value_required:n = true
, numbering style .meta:n = { numbering~style = { #1 } }
, numbering style .value_required:n = true
, use~name .code:n = { \crthm_set_name_with_existed_names:en { \l__crthm_current_env_tl } { #1 } }
, use~name .value_required:n = true
, use-name .meta:n = { use~name = { #1 } }
, use-name .value_required:n = true
, use name .meta:n = { use~name = { #1 } }
, use name .value_required:n = true
, combined .meta:n = { use~name = { #1 } }
, combined .value_required:n = true
, unknown .code:n = {}
}
\cs_new:Nn \__crthm_set_generic:nnn
{
\str_if_in:nnTF { #2 } { = }
{% key-value definition
\keyval_parse:nnn
{}
{ \use:c { __crthm_ #3 :nnn } { #1 } }
{ #2 }
}
{% simple definition
\clist_map_inline:Nn \g_crthm_supported_language_clist
{
\use:c { __crthm_ #3 :nnn } { #1 } { ##1 } { #2 }
}
}
}
\cs_new:Nn \crthm_set_name_heading:nn
% #1 = env name
% #2 = the settings
{
\__crthm_set_generic:nnn { #1 } { #2 } { set_name_heading }
}
\cs_generate_variant:Nn \crthm_set_name_heading:nn { en }
\cs_new:Nn \__crthm_set_name_heading:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding heading name
{
\tl_if_exist:cF { g_crthm_style_heading_ #1 _ #2 _tl }
{
\tl_new:c { g_crthm_style_heading_ #1 _ #2 _tl }
}
\tl_gset:cn { g_crthm_name_heading_ #1 _ #2 _tl } { \tl_use:c { g_crthm_style_heading_ #1 _ #2 _tl } { #3 } }
}
\cs_new:Nn \crthm_set_name_crefname:nn
% #1 = env name
% #2 = the settings
{
\crthm_set_name_crefname_generic:nnn { #1 } { #2 } { c }
}
\cs_generate_variant:Nn \crthm_set_name_crefname:nn { en }
\cs_new:Nn \crthm_set_name_Crefname:nn
% #1 = env name
% #2 = the settings
{
\crthm_set_name_crefname_generic:nnn { #1 } { #2 } { C }
}
\cs_generate_variant:Nn \crthm_set_name_Crefname:nn { en }
\cs_new:Nn \crthm_set_name_crefname_generic:nnn
% #1 = env name
% #2 = the settings
% #3 = c or C
{
\__crthm_set_generic:nnn { #1 } { #2 } { set_name_ #3 refname }
}
\cs_new:Nn \__crthm_set_name_crefname:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
\str_if_in:nnTF { #3 } { = }
{
\crefthe_parse_variant:n { #3 }
\crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #1 } { #2 } } { c }
}
{
\__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { c }
}
}
\cs_new:Nn \__crthm_set_name_Crefname:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
\str_if_in:nnTF { #3 } { = }
{
\crefthe_parse_variant:n { #3 }
\crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #1 } { #2 } } { C }
}
{
\__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { C }
}
}
\NewExpandableDocumentCommand \__crthm_set_name_crefname_generic:w { m m O{} m O{} m m }
% #1 = env name
% #2 = language name
% #7 = c or C
{
% It is assumed that when #3 is empty, so is #5
\tl_if_blank:eTF { #3 }
{
\tl_gset:cn { g_crthm_core_name_ #7 ref_article_singular_ #1 _ #2 _tl } { }
\tl_gset:cn { g_crthm_core_name_ #7 ref_article_plural_ #1 _ #2 _tl } { }
\tl_gset:cn { g_crthm_name_ #7 ref_article_singular_ #1 _ #2 _tl } { \nobreak \crefthemark { \crefthe_retrieve_space: } \nobreak }
\tl_gset:cn { g_crthm_name_ #7 ref_article_plural_ #1 _ #2 _tl } { \nobreak \crefthemark { \crefthe_retrieve_space: } \nobreak }
}
{
\tl_gset:cn { g_crthm_core_name_ #7 ref_article_singular_ #1 _ #2 _tl } { #3 }
\tl_gset:cn { g_crthm_core_name_ #7 ref_article_plural_ #1 _ #2 _tl } { #5 }
\tl_gset:cn { g_crthm_name_ #7 ref_article_singular_ #1 _ #2 _tl } { \crefthemark { #3 } }
\tl_gset:cn { g_crthm_name_ #7 ref_article_plural_ #1 _ #2 _tl } { \crefthemark { #5 } }
}
\tl_if_exist:cF { g_crthm_style_ #7 refname_ #1 _ #2 _tl }
{
\tl_new:c { g_crthm_style_ #7 refname_ #1 _ #2 _tl }
}
\tl_if_blank:eTF { #4 }
{
\tl_gset:cn { g_crthm_name_ #7 ref_singular_ #1 _ #2 _tl } { \nobreak \crefthe_retrieve_space: \nobreak }
}
{
\tl_gset:cn { g_crthm_name_ #7 ref_singular_ #1 _ #2 _tl } { \tl_use:c { g_crthm_style_ #7 refname_ #1 _ #2 _tl } { #4 } }
}
\tl_if_blank:eTF { #6 }
{
\tl_gset:cn { g_crthm_name_ #7 ref_plural_ #1 _ #2 _tl } { \nobreak \crefthe_retrieve_space: \nobreak }
}
{
\tl_gset:cn { g_crthm_name_ #7 ref_plural_ #1 _ #2 _tl } { \tl_use:c { g_crthm_style_ #7 refname_ #1 _ #2 _tl } { #6 } }
}
\bool_if:NTF \l__crthm_regionalref_bool
{% "regionalref" mode
\use:c { __crthm_set_name_ #7 refname_do:nnn } { #1 _crthm_regional } { #1 } { \languagename }
}
{% "originalref" mode
\tl_if_exist:cF { c@ #1 _crthm_original_ #2 }
{
\crthm_counter_alias:nn { #1 _crthm_original_ #2 } { #1 }
\hook_gput_code:nnn { begindocument/before } { crthm }
{
\cs_set_eq:cc { the #1 _crthm_original_ #2 } { the #1 }
}
}
\use:c { __crthm_set_name_ #7 refname_do:nnn } { #1 _crthm_original_ #2 } { #1 } { #2 }
}
}
\cs_new:Nn \__crthm_set_name_crefname_do:nnn
% #1 = counter name
% #2 = env name
% #3 = language name
{
\__crthm_set_name_crefname_do_generic:nnnn { #1 } { #2 } { #3 } { c }
}
\cs_new:Nn \__crthm_set_name_Crefname_do:nnn
% #1 = counter name
% #2 = env name
% #3 = language name
{
\__crthm_set_name_crefname_do_generic:nnnn { #1 } { #2 } { #3 } { C }
}
\seq_new:N \g__crthm_format_already_set_seq
\cs_new:Nn \__crthm_set_name_crefname_do_generic:nnnn
% #1 = counter name
% #2 = env name
% #3 = language name
% #4 = c or C
{
\tl_gset:cn { #4 ref@ #1 @name }
{
\tl_use:c { g_crthm_name_ #4 ref_article_singular_ #2 _ #3 _tl }
\bool_if:NTF \g__crefthe_has_prep_bool
{
\tl_use:c { g_crthm_name_ cref_singular_ #2 _ #3 _tl }
}
{
\tl_use:c { g_crthm_name_ #4 ref_singular_ #2 _ #3 _tl }
}
}
\tl_gset:cn { #4 ref@ #1 @name@plural }
{ % Use the definite article of the original language,
% with name's casing depends on the preposition and the article
\tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl }
\bool_if:NTF \g__crefthe_has_prep_bool
{
\tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
}
{
\tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
}
}
\seq_if_in:NnF \g__crthm_format_already_set_seq { #2 _ #3 }
{
\@crefdefineallformats { #1 }
\seq_gput_right:Nn \g__crthm_format_already_set_seq { #2 _ #3 }
}
\tl_if_exist:cF { g_crthm_number_style_ #2 _tl }
{
\tl_new:c { g_crthm_number_style_ #2 _tl }
}
% Redefine the cref formats so that definite articles are placed outside the hyperlinks
\crthm_modify_format_according_to_nameinlink:nnn
{ \crthm_define_format_short_version:nnnn { #2 } { #4 ref@ #1 @format } }
{ \tl_use:c { g_crthm_name_ #4 ref_article_singular_ #2 _ #3 _tl } }
{
\bool_if:NTF \g__crefthe_has_prep_bool
{
\tl_use:c { g_crthm_name_ cref_singular_ #2 _ #3 _tl }
}
{
\tl_use:c { g_crthm_name_ #4 ref_singular_ #2 _ #3 _tl }
}
}
\crthm_modify_format_according_to_nameinlink:nnn
{ \crthm_define_format_short_version:nnnn { #2 } { #4 ref@ #1 @format@first } }
{ \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl } }
{
\bool_if:NTF \g__crefthe_has_prep_bool
{
\tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
}
{
\tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
}
}
\cs_set:cpn { #4 ref@ #1 @format@second } ##1##2##3
{
\crefpairconjunction
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\cs_set:cpn { #4 ref@ #1 @format@middle } ##1##2##3
{
\crefmiddleconjunction
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\cs_set:cpn { #4 ref@ #1 @format@last } ##1##2##3
{
\creflastconjunction
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\crthm_modify_format_according_to_nameinlink:nnn
{ \crthm_define_format_long_version:nnnn { #2 } { #4 refrange@ #1 @format } }
{ \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl } }
{
\bool_if:NTF \g__crefthe_has_prep_bool
{
\tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
}
{
\tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
}
}
\crthm_modify_format_according_to_nameinlink:nnn
{ \crthm_define_format_long_version:nnnn { #2 } { #4 refrange@ #1 @format@first } }
{ \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl } }
{
\bool_if:NTF \g__crefthe_has_prep_bool
{
\tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
}
{
\tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
}
}
\cs_set:cpn { #4 refrange@ #1 @format@second } ##1##2##3##4##5##6
{
\crefpairconjunction
\group_begin:
\crthm_format_long_generic:nnnnnn
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
{ ##3 } { ##4 } { ##5 } { ##6 }
\group_end:
}
\cs_set:cpn { #4 refrange@ #1 @format@middle } ##1##2##3##4##5##6
{
\crefmiddleconjunction
\group_begin:
\crthm_format_long_generic:nnnnnn
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
{ ##3 } { ##4 } { ##5 } { ##6 }
\group_end:
}
\cs_set:cpn { #4 refrange@ #1 @format@last } ##1##2##3##4##5##6
{
\creflastconjunction
\group_begin:
\crthm_format_long_generic:nnnnnn
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
{ ##3 } { ##4 } { ##5 } { ##6 }
\group_end:
}
% Redefine the labelcref formats to match the numbering format
\cs_set:cpn { labelcref@ #1 @format } ##1##2##3
{
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\cs_set_eq:cc { labelcref@ #1 @format@first } { labelcref@ #1 @format }
\cs_set:cpn { labelcref@ #1 @format@second } ##1##2##3
{
\crefpairconjunction
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\cs_set:cpn { labelcref@ #1 @format@middle } ##1##2##3
{
\crefmiddleconjunction
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\cs_set:cpn { labelcref@ #1 @format@last } ##1##2##3
{
\creflastconjunction
\group_begin:
\crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
\group_end:
}
\crthm_define_format_long_version:nnnn { #2 } { labelcrefrange@ #1 @format } {} {}
\crthm_define_format_long_version:nnnn { #2 } { labelcrefrange@ #1 @format@first } {} {}
\cs_set:cpn { labelcrefrange@ #1 @format@second } ##1##2##3##4##5##6
{
\crefpairconjunction
\group_begin:
\crthm_format_long_generic:nnnnnn
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
{ ##3 } { ##4 } { ##5 } { ##6 }
\group_end:
}
\cs_set:cpn { labelcrefrange@ #1 @format@middle } ##1##2##3##4##5##6
{
\crefmiddleconjunction
\group_begin:
\crthm_format_long_generic:nnnnnn
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
{ ##3 } { ##4 } { ##5 } { ##6 }
\group_end:
}
\cs_set:cpn { labelcrefrange@ #1 @format@last } ##1##2##3##4##5##6
{
\creflastconjunction
\group_begin:
\crthm_format_long_generic:nnnnnn
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
{ \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
{ ##3 } { ##4 } { ##5 } { ##6 }
\group_end:
}
}
\cs_new:Nn \crthm_modify_format_according_to_nameinlink:nnn
% #1 = the macro (and argument) to be used
% #2 = content always before the hyperlink beginning mark
% #3 = content before or after the hyperlink beginning mark, depending on whether nameinlink=true
{
\bool_if:NTF \l__crthm_nameinlink_bool
{
#1 { #2 } { #3 }
}
{
#1 { #2 #3 \nobreakspace } { }
}
}
\cs_new:Nn \crthm_define_format_short_version:nnnn
% #1 = name of the environment
% #2 = name of the format command
% #3 = content before the hyperlink beginning mark
% #4 = content after the hyperlink beginning mark
{
\cs_if_exist:cF { crthm_format_ #2 :nnn }
{
\cs_new:cn { crthm_format_ #2 :nnn }
{
{ #3 } ##2 { #4 }
\tl_if_blank:nF { #4 } { \nobreakspace }
{ \tl_use:c { g_crthm_number_style_ #1 _tl } { ##1 } } ##3
}
\cs_set_eq:cc { #2 } { crthm_format_ #2 :nnn }
}
}
\cs_new:Nn \crthm_define_format_long_version:nnnn
% #1 = name of the environment
% #2 = name of the format command
% #3 = content before the hyperlink beginning mark
% #4 = content after the hyperlink beginning mark
{
\cs_if_exist:cF { crthm_format_ #2 :nnnnnn }
{
\cs_new:cn { crthm_format_ #2 :nnnnnn }
{
{ #3 } ##3 { #4 }
\tl_if_blank:nF { #4 } { \nobreakspace } \crefrangepreconjunction
{ \tl_use:c { g_crthm_number_style_ #1 _tl } { ##1 } }
##4 \crefrangeconjunction
##5 { \tl_use:c { g_crthm_number_style_ #1 _tl } { ##2 } } ##6
\crefrangepostconjunction
}
\cs_set_eq:cc { #2 } { crthm_format_ #2 :nnnnnn }
}
}
\cs_new:Nn \crthm_format_short_generic:nnn
{
#2 { #1 } #3
}
\cs_new:Nn \crthm_format_long_generic:nnnnnn
{
\crefrangepreconjunction
#3 { #1 } #4
\crefrangeconjunction
#5 { #2 } #6
\crefrangepostconjunction
}
\cs_new:Nn \crthm_set_name_style_heading:nn
% #1 = env name
% #2 = the settings
{
\__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_heading }
}
\cs_generate_variant:Nn \crthm_set_name_style_heading:nn { en }
\cs_new:Nn \__crthm_set_name_style_heading:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding heading style
{
\tl_gset:cn { g_crthm_style_heading_ #1 _ #2 _tl } { \normalfont #3 }
}
\cs_new:Nn \crthm_set_name_style_crefname:nn
% #1 = env name
% #2 = the settings
{
\__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_crefname }
}
\cs_generate_variant:Nn \crthm_set_name_style_crefname:nn { en }
\cs_new:Nn \__crthm_set_name_style_crefname:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding crefname style
{
\tl_gset:cn { g_crthm_style_crefname_ #1 _ #2 _tl } { \normalfont #3 }
}
\cs_new:Nn \crthm_set_name_style_Crefname:nn
% #1 = env name
% #2 = the settings
{
\__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_Crefname }
}
\cs_generate_variant:Nn \crthm_set_name_style_Crefname:nn { en }
\cs_new:Nn \__crthm_set_name_style_Crefname:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding Crefname style
{
\tl_gset:cn { g_crthm_style_Crefname_ #1 _ #2 _tl } { \normalfont #3 }
}
\cs_new:Nn \crthm_set_name_style_numbering:nn
% #1 = env name
% #2 = the settings
{
\__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_numbering }
}
\cs_generate_variant:Nn \crthm_set_name_style_numbering:nn { en }
\cs_new:Nn \__crthm_set_name_style_numbering:nnn
% #1 = env name
% #2 = language name
% #3 = corresponding numbering style
{
\tl_gset:cn { g_crthm_number_style_ #1 _tl } { \normalfont #3 }
}
\tl_new:N \g_crthm_combined_name_sep_tl
\tl_gset:Nn \g_crthm_combined_name_sep_tl { - }
\cs_new:Nn \crthm_set_name_with_existed_names:nn
% #1 = env name
% #2 = list of existed environments
{
\clist_map_inline:Nn \g_crthm_supported_language_clist
{ % ##1 = language name
\seq_gclear_new:c { g_crthm_name_heading_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_cref_article_singular_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_cref_article_plural_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_cref_singular_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_cref_plural_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_Cref_article_singular_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_Cref_article_plural_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_Cref_singular_ #1 _ ##1 _seq }
\seq_gclear_new:c { g_crthm_name_Cref_plural_ #1 _ ##1 _seq }
\bool_set_true:N \l_tmpa_bool
\regex_split:nnN { \s* ; \s* } { #2 } { \l_tmpa_seq }
\seq_map_inline:Nn \l_tmpa_seq
{ % ####1 = existed environments
% Here we use the definite article of the last environment as that of the combined environment
% Uncomment the lines below if you wish to use the definite article of the first environment
% \bool_if:NT \l_tmpa_bool
% {
\tl_gset_eq:cc { g_crthm_saved_name_cref_article_singular_ #1 _ ##1 _tl } { g_crthm_core_name_cref_article_singular_ ####1 _ ##1 _tl }
\tl_gset_eq:cc { g_crthm_saved_name_cref_article_plural_ #1 _ ##1 _tl } { g_crthm_core_name_cref_article_plural_ ####1 _ ##1 _tl }
\tl_gset_eq:cc { g_crthm_saved_name_Cref_article_singular_ #1 _ ##1 _tl } { g_crthm_core_name_Cref_article_singular_ ####1 _ ##1 _tl }
\tl_gset_eq:cc { g_crthm_saved_name_Cref_article_plural_ #1 _ ##1 _tl } { g_crthm_core_name_Cref_article_plural_ ####1 _ ##1 _tl }
% \bool_set_false:N \l_tmpa_bool
% }
\seq_gput_right:cn { g_crthm_name_heading_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_heading_ ####1 _ ##1 _tl } }
\seq_gput_right:cn { g_crthm_name_cref_singular_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_cref_singular_ ####1 _ ##1 _tl } }
\seq_gput_right:cn { g_crthm_name_cref_plural_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_cref_plural_ ####1 _ ##1 _tl } }
\seq_gput_right:cn { g_crthm_name_Cref_singular_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_Cref_singular_ ####1 _ ##1 _tl } }
\seq_gput_right:cn { g_crthm_name_Cref_plural_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_Cref_plural_ ####1 _ ##1 _tl } }
% set the numbering style to be the same as the last environment
\tl_gset_eq:cc { g_crthm_number_style_ #1 _tl } { g_crthm_number_style_ ####1 _tl }
}
% set heading name for the combined environment
\tl_gset:cn { g_crthm_name_heading_ #1 _ ##1 _tl } { \seq_use:cn { g_crthm_name_heading_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
% set crefname for the combined environment
\tl_if_empty:cTF { g_crthm_saved_name_cref_article_singular_ #1 _ ##1 _tl }
{
\__crthm_set_name_crefname:nnn { #1 } { ##1 }
{
{ \seq_use:cn { g_crthm_name_cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
{ \seq_use:cn { g_crthm_name_cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
}
}
{
\__crthm_set_name_crefname:nnn { #1 } { ##1 }
{
[ \tl_use:c { g_crthm_saved_name_cref_article_singular_ #1 _ ##1 _tl } ]
{ \seq_use:cn { g_crthm_name_cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
[ \tl_use:c { g_crthm_saved_name_cref_article_plural_ #1 _ ##1 _tl } ]
{ \seq_use:cn { g_crthm_name_cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
}
}
% set Crefname for the combined environment
\tl_if_empty:cTF { g_crthm_saved_name_Cref_article_singular_ #1 _ ##1 _tl }
{
\__crthm_set_name_Crefname:nnn { #1 } { ##1 }
{
{ \seq_use:cn { g_crthm_name_Cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
{ \seq_use:cn { g_crthm_name_Cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
}
}
{
\__crthm_set_name_Crefname:nnn { #1 } { ##1 }
{
[ \tl_use:c { g_crthm_saved_name_Cref_article_singular_ #1 _ ##1 _tl } ]
{ \seq_use:cn { g_crthm_name_Cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
[ \tl_use:c { g_crthm_saved_name_Cref_article_plural_ #1 _ ##1 _tl } ]
{ \seq_use:cn { g_crthm_name_Cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
}
}
}
}
\cs_generate_variant:Nn \crthm_set_name_with_existed_names:nn { en }
\NewDocumentCommand \NameTheorem { m m }
{
\crthm_name_theorem:nn { #1 } { #2 }
}
\cs_new:Nn \crthm_name_theorem:nn
{
\tl_set:Nn \l__crthm_current_env_tl { #1 }
\cs_if_exist:cF { c@ #1 }
{
\newcounter { #1 }
}
\keys_set:nn { create-theorem-naming } { #2 }
}
\tl_new:N \l__crthm_current_lang_tl
\keys_define:nn { create-theorem-naming-per-language }
{
, heading .code:n = { \crthm_set_name_per_lang_heading:en { \l__crthm_current_lang_tl } { #1 } }
, heading .value_required:n = true
, crefname .code:n = { \crthm_set_name_per_lang_crefname:en { \l__crthm_current_lang_tl } { #1 } }
, crefname .value_required:n = true
, Crefname .code:n = { \crthm_set_name_per_lang_Crefname:en { \l__crthm_current_lang_tl } { #1 } }
, Crefname .value_required:n = true
, unknown .code:n = {}
}
\cs_new:Nn \crthm_set_name_per_lang_heading:nn
% #1 = language name
% #2 = the settings
{
\keyval_parse:nnn
{}
{ \use:c { __crthm_set_name_per_lang_heading:nnn } { #1 } }
{ #2 }
}
\cs_generate_variant:Nn \crthm_set_name_per_lang_heading:nn { en }
\cs_new:Nn \__crthm_set_name_per_lang_heading:nnn
% #1 = language name
% #2 = env name
% #3 = corresponding heading name
{
\tl_if_exist:cF { g_crthm_style_heading_ #2 _ #1 _tl }
{
\tl_new:c { g_crthm_style_heading_ #2 _ #1 _tl }
}
\tl_gset:cn { g_crthm_name_heading_ #2 _ #1 _tl } { \tl_use:c { g_crthm_style_heading_ #2 _ #1 _tl } { #3 } }
}
\cs_new:Nn \crthm_set_name_per_lang_crefname:nn
% #1 = language name
% #2 = the settings
{
\crthm_set_name_per_lang_crefname_generic:nnn { #1 } { #2 } { c }
}
\cs_generate_variant:Nn \crthm_set_name_per_lang_crefname:nn { en }
\cs_new:Nn \crthm_set_name_per_lang_Crefname:nn
% #1 = language name
% #2 = the settings
{
\crthm_set_name_per_lang_crefname_generic:nnn { #1 } { #2 } { C }
}
\cs_generate_variant:Nn \crthm_set_name_per_lang_Crefname:nn { en }
\cs_new:Nn \crthm_set_name_per_lang_crefname_generic:nnn
% #1 = language name
% #2 = the settings
% #3 = c or C
{
\keyval_parse:nnn
{}
{ \use:c { __crthm_set_name_per_lang_ #3 refname:nnn } { #1 } }
{ #2 }
}
\cs_new:Nn \__crthm_set_name_per_lang_crefname:nnn
% #1 = language name
% #2 = env name
% #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
\str_if_in:nnTF { #3 } { = }
{
\crefthe_parse_variant:n { #3 }
\crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #2 } { #1 } } { c }
}
{
\__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { c }
}
}
\cs_new:Nn \__crthm_set_name_per_lang_Crefname:nnn
% #1 = language name
% #2 = env name
% #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
\str_if_in:nnTF { #3 } { = }
{
\crefthe_parse_variant:n { #3 }
\crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #2 } { #1 } } { C }
}
{
\__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { C }
}
}
\NewDocumentCommand \NameTheorems { m m }
{
\crthm_name_theorems:nn { #1 } { #2 }
}
\cs_new:Nn \crthm_name_theorems:nn
{
\tl_set:Nn \l__crthm_current_lang_tl { #1 }
\crthm_add_to_language_list:n { #1 }
\keys_set:nn { create-theorem-naming-per-language } { #2 }
}
\tl_const:Nn \c__crthm_qedsymbol_tl { \Box }
\bool_new:N \l__crthm_creating_qed_bool
\tl_new:N \l__crthm_creating_qed_tl
\bool_new:N \l__crthm_creating_apply_style_bool
\tl_new:N \l__crthm_creating_apply_style_tl
\bool_new:N \l__crthm_creating_numberless_bool
\bool_new:N \l__crthm_creating_create_starred_bool
\bool_new:N \l__crthm_creating_copy_existed_bool
\tl_new:N \l__crthm_creating_copy_existed_tl
\keys_define:nn { create-theorem-creating }
{
, name .code:n = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
, name .value_required:n = true
, name~style .code:n = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
, name~style .value_required:n = true
, name-style .meta:n = { name~style = { #1 } }
, name-style .value_required:n = true
, name style .meta:n = { name~style = { #1 } }
, name style .value_required:n = true
, use~name .code:n = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { use~name = #1 } }
, use~name .value_required:n = true
, use-name .meta:n = { use~name = { #1 } }
, use-name .value_required:n = true
, use name .meta:n = { use~name = { #1 } }
, use name .value_required:n = true
, combined .meta:n = { use~name = { #1 } }
, combined .value_required:n = true
, style .code:n = { \bool_set_true:N \l__crthm_creating_apply_style_bool
\tl_set:Nn \l__crthm_creating_apply_style_tl { #1 } }
, style .value_required:n = true
, apply~style .meta:n = { style = { #1 } }
, apply~style .value_required:n = true
, apply-style .meta:n = { style = { #1 } }
, apply-style .value_required:n = true
, apply style .meta:n = { style = { #1 } }
, apply style .value_required:n = true
, qed .code:n = { \bool_set_true:N \l__crthm_creating_qed_bool
\tl_set:Nn \l__crthm_creating_qed_tl { #1 } }
, qed .default:n = \c__crthm_qedsymbol_tl
, qed~symbol .meta:n = { qed = #1 }
, qed~symbol .default:n = \c__crthm_qedsymbol_tl
, qed-symbol .meta:n = { qed = #1 }
, qed-symbol .default:n = \c__crthm_qedsymbol_tl
, qed symbol .meta:n = { qed = #1 }
, qed symbol .default:n = \c__crthm_qedsymbol_tl
, numberless .bool_set:N = \l__crthm_creating_numberless_bool
, create~starred~version .bool_set:N = \l__crthm_creating_create_starred_bool
, create-starred-version .meta:n = { create~starred~version }
, create starred version .meta:n = { create~starred~version }
, create~numberless~version .meta:n = { create~starred~version }
, create-numberless-version .meta:n = { create~starred~version }
, create numberless version .meta:n = { create~starred~version }
, copy~existed .code:n = { \bool_set_true:N \l__crthm_creating_copy_existed_bool
\tl_set:Nn \l__crthm_creating_copy_existed_tl { #1 } }
, copy~existed .value_required:n = true
, copy-existed .meta:n = { copy~existed = { #1 } }
, copy-existed .value_required:n = true
, copy existed .meta:n = { copy~existed = { #1 } }
, copy existed .value_required:n = true
, quiet .bool_set:N = \l__crthm_creating_quiet_bool
, quiet .initial:n = { false }
, unknown .code:n = {}
}
\keys_define:nn { create-theorem-creating / counter-management }
{
, parent~counter .code:n = { \crthm_counter_within:en { \l__crthm_current_env_tl } { #1 } }
, parent~counter .value_required:n = true
, parent-counter .meta:n = { parent~counter = { #1 } }
, parent-counter .value_required:n = true
, parent counter .meta:n = { parent~counter = { #1 } }
, parent counter .value_required:n = true
, number~within .meta:n = { parent~counter = { #1 } }
, number~within .value_required:n = true
, number-within .meta:n = { parent~counter = { #1 } }
, number-within .value_required:n = true
, number within .meta:n = { parent~counter = { #1 } }
, number within .value_required:n = true
, shared~counter .code:n = { \crthm_counter_alias:en { \l__crthm_current_env_tl } { #1 } }
, shared~counter .value_required:n = true
, shared-counter .meta:n = { shared~counter = { #1 } }
, shared-counter .value_required:n = true
, shared counter .meta:n = { shared~counter = { #1 } }
, shared counter .value_required:n = true
, number~like .meta:n = { shared~counter = { #1 } }
, number~like .value_required:n = true
, number-like .meta:n = { shared~counter = { #1 } }
, number-like .value_required:n = true
, number like .meta:n = { shared~counter = { #1 } }
, number like .value_required:n = true
, unknown .code:n = {}
}
\NewDocumentCommand \CreateTheorem { m m }
{
\clist_map_inline:nn { #1 }
{
\crthm_create_theorem:nn { ##1 } { #2 }
}
}
\msg_new:nnn { create-theorem }
{ env-not-created }
{ The~theorem-like~environment~"#1"~cannot~be~created,~an~environment~with~the~same~name~has~already~existed. }
\msg_new:nnn { create-theorem }
{ env-not-named }
{ The~theorem-like~environment~"#1"~cannot~be~created,~you~have~to~name~it~before~initialization. }
\cs_new:Nn \crthm_create_theorem:nn
% #1 = env name
% #2 = options
{
\tl_set:Nn \l__crthm_current_env_tl { #1 }
\bool_set_false:N \l__crthm_creating_apply_style_bool
\bool_set_false:N \l__crthm_creating_numberless_bool
\bool_set_false:N \l__crthm_creating_qed_bool
\bool_set_false:N \l__crthm_creating_create_starred_bool
\bool_set_false:N \l__crthm_creating_copy_existed_bool
\keys_set:nn { create-theorem-creating } { #2 }
\bool_if:NTF \l__crthm_creating_copy_existed_bool
{
\__crthm_copy_env:ee { \l__crthm_current_env_tl } { \l__crthm_creating_copy_existed_tl }
\bool_if:NT \l__crthm_creating_create_starred_bool
{
\__crthm_copy_env:ee { \l__crthm_current_env_tl * } { \l__crthm_creating_copy_existed_tl * }
}
}
{
\cs_if_exist:cTF { #1 }
{
\bool_if:NF \l__crthm_creating_quiet_bool
{
\msg_warning:nnn { create-theorem } { env-not-created } { #1 }
}
}
{
\cs_if_exist:cTF { c@ #1 }
{
\IfPackageLoadedTF { ntheorem }
{
\bool_if:NT \l__crthm_creating_qed_bool
{
\theoremsymbol { \ensuremath { \l__crthm_creating_qed_tl } }
}
} {}
\group_begin:
\bool_if:NTF \l__crthm_creating_apply_style_bool
{
\exp_args:No \theoremstyle { \l__crthm_creating_apply_style_tl }
}
{
\tl_if_exist:cT { c_crthm_theorem_style_preset_ #1 _tl }
{
\exp_args:Nv \theoremstyle { c_crthm_theorem_style_preset_ #1 _tl }
}
}
\bool_if:NTF \l__crthm_creating_numberless_bool
{
\crthm_newtheorem:w*{ #1 _crthm_regional } { \tl_use:c { g_crthm_name_heading_ #1 _ \languagename _tl } }
}
{
\crthm_newtheorem:w { #1 _crthm_regional } [#1] { \tl_use:c { g_crthm_name_heading_ #1 _ \languagename _tl } }
}
\bool_if:NT \l__crthm_creating_create_starred_bool
{
\crthm_newtheorem:w*{ #1 * } { \tl_use:c { g_crthm_name_heading_ #1 _ \languagename _tl } }
}
\group_end:
\IfPackageLoadedTF { ntheorem }
{
\bool_if:NT \l__crthm_creating_qed_bool
{
\theoremsymbol { }
}
} {}
\NewDocumentEnvironment { #1 } { O{} }
% In "regionalref" mode, the counter received by the referencing system is "#1 _crthm_regional"
% while in "originalref" mode, the counter received is "#1 _crthm_original_\languagename"
{
\tl_if_blank:nTF { ##1 }
{
\begin{ #1 _crthm_regional }
}
{
\begin{ #1 _crthm_regional }[{##1}]
}
\bool_if:NF \l__crthm_regionalref_bool
{
\addtocounter { #1 _crthm_original_\languagename } { -1 }
\refstepcounter { #1 _crthm_original_\languagename }
}
}
{
\end{ #1 _crthm_regional }
}
\keys_set:nn { create-theorem-creating / counter-management } { #2 }
\IfPackageLoadedTF { amsthm }
{
\bool_if:NT \l__crthm_creating_qed_bool
{
\exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl /begin } { crthm } { \cs_set:Npn \qedsymbol { \ensuremath { \l__crthm_creating_qed_tl } } \pushQED{\qed} }
\exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl /end } { crthm } { \popQED }
\bool_if:NT \l__crthm_creating_create_starred_bool
{
\exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl * /begin } { crthm } { \cs_set:Npn \qedsymbol { \ensuremath { \l__crthm_creating_qed_tl } } \pushQED{\qed} }
\exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl * /end } { crthm } { \popQED }
}
}
} {}
}
{
\msg_error:nnn { create-theorem } { env-not-named } { #1 }
}
}
}
}
\cs_new:Nn \__crthm_copy_env:nn
{
\cs_set_eq:cc { #1 } { #2 }
\cs_set_eq:cc { end #1 } { end #2 }
}
\cs_generate_variant:Nn \__crthm_copy_env:nn { ee }
\cs_new:Nn \crthm_counter_within:nn
{
\counterwithin { #1 } { #2 }
}
\cs_generate_variant:Nn \crthm_counter_within:nn { en }
\cs_new:Nn \crthm_counter_alias:nn
{
\cs_if_exist:cTF { c@ #2 }
{
\cs_gset_eq:cc { c@ #1 } { c@ #2 }
\cs_gset_eq:cc { the #1 } { the #2 }
\cs_gset_eq:cc { theH #1 } { theH #2 }
\cs_gset_eq:cc { p@ #1 } { p@ #2 }
\cs_gset_eq:cc { cl@ #1 } { cl@ #2 }
}
{
\@nocounterr { #2 }
}
}
\cs_generate_variant:Nn \crthm_counter_alias:nn { en }
\keys_define:nn { create-theorem-setting }
{
, name .code:n = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
, name .value_required:n = true
, name~style .code:n = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
, name~style .value_required:n = true
, name-style .meta:n = { name~style = { #1 } }
, name-style .value_required:n = true
, name style .meta:n = { name~style = { #1 } }
, name style .value_required:n = true
, qed .code:n = {
\exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl /begin } { crthm } { \cs_set:Npn \qedsymbol { \ensuremath { #1 } } }
}
, qed .default:n = \c__crthm_qedsymbol_tl
, qed~symbol .meta:n = { qed = #1 }
, qed~symbol .default:n = \c__crthm_qedsymbol_tl
, qed-symbol .meta:n = { qed = #1 }
, qed-symbol .default:n = \c__crthm_qedsymbol_tl
, qed symbol .meta:n = { qed = #1 }
, qed symbol .default:n = \c__crthm_qedsymbol_tl
, parent~counter .code:n = { \crthm_counter_within:en { \l__crthm_current_env_tl } { #1 } }
, parent~counter .value_required:n = true
, parent-counter .meta:n = { parent~counter = { #1 } }
, parent-counter .value_required:n = true
, parent counter .meta:n = { parent~counter = { #1 } }
, parent counter .value_required:n = true
, number~within .meta:n = { parent~counter = { #1 } }
, number~within .value_required:n = true
, number-within .meta:n = { parent~counter = { #1 } }
, number-within .value_required:n = true
, number within .meta:n = { parent~counter = { #1 } }
, number within .value_required:n = true
, shared~counter .code:n = { \crthm_counter_alias:en { \l__crthm_current_env_tl } { #1 } }
, shared~counter .value_required:n = true
, shared-counter .meta:n = { shared~counter = { #1 } }
, shared-counter .value_required:n = true
, shared counter .meta:n = { shared~counter = { #1 } }
, shared counter .value_required:n = true
, number~like .meta:n = { shared~counter = { #1 } }
, number~like .value_required:n = true
, number-like .meta:n = { shared~counter = { #1 } }
, number-like .value_required:n = true
, number like .meta:n = { shared~counter = { #1 } }
, number like .value_required:n = true
, unknown .code:n = {}
}
\NewDocumentCommand \SetTheorem { m m }
{
\clist_map_inline:nn { #1 }
{
\prop_if_in:NnTF \l_crthm_binding_prop { ##1 }
{
\prop_get:NnN \l_crthm_binding_prop { ##1 } \l__crthm_current_env_tl
}
{
\tl_set:Nn \l__crthm_current_env_tl { ##1 }
}
\keys_set:nn { create-theorem-setting } { #2 }
}
}
\prop_new:N \l_crthm_binding_prop
\NewDocumentCommand \SetTheoremBinding { m m }
{
\clist_map_inline:nn { #1 }
{
\prop_put:Nxx \l_crthm_binding_prop { ##1 } { #2 }
}
}
% Load predefined namesets
\bool_if:NT \l__crthm_presetname_bool
{
\input { create-theorem-preset-names-cleveref }
\input { create-theorem-preset-names-plural-cleveref }
}
\endinput
%%
%% End of file `create-theorem.sty'.