diff --git a/src/environments/groupthm/.latexmkrc b/src/environments/groupthm/.latexmkrc
new file mode 100644
index 0000000..c30d558
--- /dev/null
+++ b/src/environments/groupthm/.latexmkrc
@@ -0,0 +1,6 @@
+@default_files = ("groupthm.dtx");
+$makeindex = "makeindex -s gind.ist %O -o %D %S";
+$clean_ext .= ' glo';
+$clean_ext .= ' hd';
+$clean_full_ext .= ' sty';
+$emulate_aux = 1;
diff --git a/src/environments/groupthm/groupthm.aux b/src/environments/groupthm/groupthm.aux
deleted file mode 100644
index e7d9e93..0000000
--- a/src/environments/groupthm/groupthm.aux
+++ /dev/null
@@ -1,108 +0,0 @@
-\relax 
-\providecommand\hyper@newdestlabel[2]{}
-\catcode 95\active
-\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
-\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
-\global\let\oldcontentsline\contentsline
-\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
-\global\let\oldnewlabel\newlabel
-\gdef\newlabel#1#2{\newlabelxx{#1}#2}
-\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
-\AtEndDocument{\ifx\hyper@anchor\@undefined
-\let\contentsline\oldcontentsline
-\let\newlabel\oldnewlabel
-\fi}
-\fi}
-\global\let\hyper@last\relax 
-\gdef\HyperFirstAtBeginDocument#1{#1}
-\providecommand\HyField@AuxAddToFields[1]{}
-\providecommand\HyField@AuxAddToCoFields[2]{}
-\@writefile{toc}{\contentsline {section}{\numberline {1}Concepts}{3}{section.0.1}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Theorem groups}{3}{subsection.0.1.1}\protected@file@percent }
-\newlabel{sec:theorem-groups}{{1.1}{3}{Theorem groups}{subsection.0.1.1}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Grouped theorems}{3}{subsection.0.1.2}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Theorem families}{3}{subsection.0.1.3}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}General notions}{4}{subsection.0.1.4}\protected@file@percent }
-\newlabel{doc/function//NewFoo}{{1.4}{4}{General notions}{HD.1}{}}
-\newlabel{doc/function//RenewFoo}{{1.4}{4}{General notions}{HD.1}{}}
-\newlabel{doc/function//ProvideFoo}{{1.4}{4}{General notions}{HD.1}{}}
-\newlabel{doc/function//DeclareFoo}{{1.4}{4}{General notions}{HD.1}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {2}Theorem groups}{5}{section.0.2}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Defining theorem groups}{5}{subsection.0.2.1}\protected@file@percent }
-\newlabel{doc/function//NewTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}}
-\newlabel{doc/function//RenewTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}}
-\newlabel{doc/function//ProvideTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}}
-\newlabel{doc/function//DeclareTheoremGroup}{{2.1}{5}{Defining theorem groups}{HD.2}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Controlling theorem group precedence}{6}{subsection.0.2.2}\protected@file@percent }
-\newlabel{subsec:theorem-group-precedence}{{2.2}{6}{Controlling theorem group precedence}{subsection.0.2.2}{}}
-\newlabel{doc/function//DeclareTheoremGroupRule}{{2.2}{6}{Controlling theorem group precedence}{HD.3}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Inheritance of theorem groups}{6}{subsection.0.2.3}\protected@file@percent }
-\newlabel{doc/function//AddTheoremGroupParent}{{2.3}{6}{Inheritance of theorem groups}{HD.4}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Appending to theorem groups}{7}{subsection.0.2.4}\protected@file@percent }
-\newlabel{doc/function//AppendToTheoremGroup}{{2.4}{7}{Appending to theorem groups}{HD.5}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Default theorem groups}{7}{subsection.0.2.5}\protected@file@percent }
-\newlabel{subsec:default-theorem-groups}{{2.5}{7}{Default theorem groups}{subsection.0.2.5}{}}
-\newlabel{doc/function//all}{{2.5}{7}{Default theorem groups}{HD.6}{}}
-\newlabel{doc/function//starred}{{2.5}{7}{Default theorem groups}{HD.7}{}}
-\newlabel{doc/function//unnumbered}{{2.5}{7}{Default theorem groups}{HD.8}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}Grouped Theorems}{8}{section.0.3}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Defining grouped theorems}{8}{subsection.0.3.1}\protected@file@percent }
-\newlabel{doc/function//NewGroupedTheorem}{{3.1}{8}{Defining grouped theorems}{HD.9}{}}
-\newlabel{doc/function//ProvideGroupedTheorem}{{3.1}{8}{Defining grouped theorems}{HD.9}{}}
-\newlabel{doc/function//NewGroupedTheorem*}{{3.1}{8}{Defining grouped theorems}{HD.10}{}}
-\newlabel{doc/function//ProvideGroupedTheorem*}{{3.1}{8}{Defining grouped theorems}{HD.10}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Defining families of grouped theorems}{9}{subsection.0.3.2}\protected@file@percent }
-\newlabel{doc/function//NewGroupedTheoremFamily}{{3.2}{9}{Defining families of grouped theorems}{HD.11}{}}
-\newlabel{doc/function//ProvideGroupedTheoremFamily}{{3.2}{9}{Defining families of grouped theorems}{HD.11}{}}
-\newlabel{doc/function//NewGroupedTheoremFamily*}{{3.2}{9}{Defining families of grouped theorems}{HD.12}{}}
-\newlabel{doc/function//ProvideGroupedTheoremFamily*}{{3.2}{9}{Defining families of grouped theorems}{HD.12}{}}
-\newlabel{doc/function//AddTheoremToGroup}{{3.2}{9}{Defining families of grouped theorems}{HD.13}{}}
-\newlabel{doc/function//NewGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}}
-\newlabel{doc/function//RenewGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}}
-\newlabel{doc/function//ProvideGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}}
-\newlabel{doc/function//DeclareGroupedTheoremFamilyOptions}{{3.2}{10}{Defining families of grouped theorems}{HD.14}{}}
-\newlabel{doc/function//NewGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}}
-\newlabel{doc/function//RenewGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}}
-\newlabel{doc/function//ProvideGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}}
-\newlabel{doc/function//DeclareGroupedTheoremFamilyOptions*}{{3.2}{10}{Defining families of grouped theorems}{HD.15}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {4}\LaTeX  3 interface}{10}{section.0.4}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Theorem groups}{11}{subsection.0.4.1}\protected@file@percent }
-\newlabel{doc/function//groupthm/new/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}}
-\newlabel{doc/function//groupthm/renew/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}}
-\newlabel{doc/function//groupthm/provide/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}}
-\newlabel{doc/function//groupthm/declare/group:nn}{{4.1}{11}{Theorem groups}{HD.16}{}}
-\newlabel{doc/function//groupthm/new/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}}
-\newlabel{doc/function//groupthm/renew/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}}
-\newlabel{doc/function//groupthm/provide/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}}
-\newlabel{doc/function//groupthm/declare/group:nnnnn}{{4.1}{11}{Theorem groups}{HD.17}{}}
-\newlabel{doc/function//groupthm/declare/group/rule:nnnn}{{4.1}{11}{Theorem groups}{HD.18}{}}
-\newlabel{doc/function//groupthm/add/parent:nn}{{4.1}{11}{Theorem groups}{HD.19}{}}
-\newlabel{doc/function//groupthm/append/to/group:nn}{{4.1}{11}{Theorem groups}{HD.20}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Grouped theorems}{11}{subsection.0.4.2}\protected@file@percent }
-\newlabel{doc/function//groupthm/new/theorem:nnnn}{{4.2}{11}{Grouped theorems}{HD.21}{}}
-\newlabel{doc/function//groupthm/provide/theorem:nnnn}{{4.2}{11}{Grouped theorems}{HD.21}{}}
-\newlabel{doc/function//groupthm/new/theorem:nnn}{{4.2}{11}{Grouped theorems}{HD.22}{}}
-\newlabel{doc/function//groupthm/provide/theorem:nnn}{{4.2}{11}{Grouped theorems}{HD.22}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Theorem families}{12}{subsection.0.4.3}\protected@file@percent }
-\newlabel{doc/function//groupthm/new/family:nnn}{{4.3}{12}{Theorem families}{HD.23}{}}
-\newlabel{doc/function//groupthm/provide/family:nnn}{{4.3}{12}{Theorem families}{HD.23}{}}
-\newlabel{doc/function//groupthm/new/family:nnnnn}{{4.3}{12}{Theorem families}{HD.24}{}}
-\newlabel{doc/function//groupthm/provide/family:nnnnn}{{4.3}{12}{Theorem families}{HD.24}{}}
-\newlabel{doc/function//groupthm/add/theorem/to/group:n}{{4.3}{12}{Theorem families}{HD.25}{}}
-\newlabel{doc/function//groupthm/new/family/options:nnnn}{{}{12}{}{HD.26}{}}
-\newlabel{doc/function//groupthm/renew/family/options:nnnn}{{}{12}{}{HD.26}{}}
-\newlabel{doc/function//groupthm/provide/family/options:nnnn}{{}{12}{}{HD.26}{}}
-\newlabel{doc/function//groupthm/declare/family/options:nnnn}{{}{12}{}{HD.26}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {5}\pkg  {groupthm} implementation}{12}{section.0.5}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Dependencies}{12}{subsection.0.5.1}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Messages}{13}{subsection.0.5.2}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Allocation and initialization}{14}{subsection.0.5.3}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Key interface}{15}{subsection.0.5.4}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Theorem groups}{17}{subsection.0.5.5}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Iterating over powersets}{27}{subsection.0.5.6}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.7}Grouped Theorems}{28}{subsection.0.5.7}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.8}Theorem families}{31}{subsection.0.5.8}\protected@file@percent }
-\@writefile{toc}{\contentsline {subsection}{\numberline {5.9}Theorem family options}{33}{subsection.0.5.9}\protected@file@percent }
-\providecommand\HD@SetMacroIndent[1]{}
-\HD@SetMacroIndent{742}
-\gdef \@abspage@last{35}
diff --git a/src/environments/groupthm/groupthm.glo b/src/environments/groupthm/groupthm.glo
deleted file mode 100644
index e69de29..0000000
diff --git a/src/environments/groupthm/groupthm.hd b/src/environments/groupthm/groupthm.hd
deleted file mode 100644
index e69de29..0000000
diff --git a/src/environments/groupthm/groupthm.idx b/src/environments/groupthm/groupthm.idx
deleted file mode 100644
index 56a28b6..0000000
--- a/src/environments/groupthm/groupthm.idx
+++ /dev/null
@@ -1,844 +0,0 @@
-\indexentry{Foo={\verbatim@font !\verb*&!\Foo&}|hdclindex{0}{usage}}{4}
-\indexentry{NewFoo={\verbatim@font !\verb*&!\NewFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{RenewFoo={\verbatim@font !\verb*&!\RenewFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{ProvideFoo={\verbatim@font !\verb*&!\ProvideFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{DeclareFoo={\verbatim@font !\verb*&!\DeclareFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{NewFoo={\verbatim@font !\verb*&!\NewFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{RenewFoo={\verbatim@font !\verb*&!\RenewFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{ProvideFoo={\verbatim@font !\verb*&!\ProvideFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{DeclareFoo={\verbatim@font !\verb*&!\DeclareFoo&}|hdclindex{1}{usage}}{4}
-\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{1}{usage}}{4}
-\indexentry{newtheorem={\verbatim@font !\verb*&!\newtheorem&}|hdclindex{1}{usage}}{4}
-\indexentry{newtheorem={\verbatim@font !\verb*&!\newtheorem&}|hdclindex{1}{usage}}{4}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{1}{usage}}{5}
-\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{1}{usage}}{5}
-\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{2}{usage}}{5}
-\indexentry{fun commands:=\pkg{fun} commands:>fun:n={\verbatim@font !\verb*&!\fun:n&}|hdclindex{2}{usage}}{5}
-\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{2}{usage}}{5}
-\indexentry{RenewTheoremGroup={\verbatim@font !\verb*&!\RenewTheoremGroup&}|hdclindex{2}{usage}}{5}
-\indexentry{ProvideTheoremGroup={\verbatim@font !\verb*&!\ProvideTheoremGroup&}|hdclindex{2}{usage}}{5}
-\indexentry{DeclareTheoremGroup={\verbatim@font !\verb*&!\DeclareTheoremGroup&}|hdclindex{2}{usage}}{5}
-\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{3}{usage}}{6}
-\indexentry{DeclareHookRule={\verbatim@font !\verb*&!\DeclareHookRule&}|hdclindex{3}{usage}}{6}
-\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{3}{usage}}{6}
-\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{4}{usage}}{6}
-\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{4}{usage}}{6}
-\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{5}{usage}}{7}
-\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{5}{usage}}{7}
-\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{5}{usage}}{7}
-\indexentry{all={\verbatim@font !\verb*&all&}|hdclindex{6}{usage}}{7}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{7}{usage}}{7}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{7}{usage}}{7}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{7}{usage}}{7}
-\indexentry{starred={\verbatim@font !\verb*&starred&}|hdclindex{7}{usage}}{7}
-\indexentry{starred={\verbatim@font !\verb*&!\starred&}|hdclindex{8}{usage}}{7}
-\indexentry{unnumbered={\verbatim@font !\verb*&unnumbered&}|hdclindex{8}{usage}}{7}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{9}{usage}}{8}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{9}{usage}}{8}
-\indexentry{ProvideGroupedTheorem={\verbatim@font !\verb*&!\ProvideGroupedTheorem&}|hdclindex{9}{usage}}{8}
-\indexentry{NewGroupedTheorem*={\verbatim@font !\verb*&!\NewGroupedTheorem*&}|hdclindex{10}{usage}}{8}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{10}{usage}}{8}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{10}{usage}}{8}
-\indexentry{NewGroupedTheorem*={\verbatim@font !\verb*&!\NewGroupedTheorem*&}|hdclindex{10}{usage}}{8}
-\indexentry{ProvideGroupedTheorem*={\verbatim@font !\verb*&!\ProvideGroupedTheorem*&}|hdclindex{10}{usage}}{8}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{11}{usage}}{9}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{11}{usage}}{9}
-\indexentry{ProvideGroupedTheoremFamily={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily&}|hdclindex{11}{usage}}{9}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{11}{usage}}{9}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{11}{usage}}{9}
-\indexentry{NewGroupedTheoremFamily*={\verbatim@font !\verb*&!\NewGroupedTheoremFamily*&}|hdclindex{12}{usage}}{9}
-\indexentry{ProvideGroupedTheoremFamily*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily*&}|hdclindex{12}{usage}}{9}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{12}{usage}}{9}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{12}{usage}}{9}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{13}{usage}}{9}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{13}{usage}}{9}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{13}{usage}}{9}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10}
-\indexentry{RenewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10}
-\indexentry{ProvideGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10}
-\indexentry{DeclareGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions&}|hdclindex{14}{usage}}{10}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{14}{usage}}{10}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{14}{usage}}{10}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{14}{usage}}{10}
-\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10}
-\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10}
-\indexentry{RenewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10}
-\indexentry{ProvideGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10}
-\indexentry{DeclareGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions*&}|hdclindex{15}{usage}}{10}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{15}{usage}}{10}
-\indexentry{NewGroupedTheoremFamily*={\verbatim@font !\verb*&!\NewGroupedTheoremFamily*&}|hdclindex{15}{usage}}{10}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11}
-\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{16}{usage}}{11}
-\indexentry{RenewTheoremGroup={\verbatim@font !\verb*&!\RenewTheoremGroup&}|hdclindex{16}{usage}}{11}
-\indexentry{ProvideTheoremGroup={\verbatim@font !\verb*&!\ProvideTheoremGroup&}|hdclindex{16}{usage}}{11}
-\indexentry{DeclareTheoremGroup={\verbatim@font !\verb*&!\DeclareTheoremGroup&}|hdclindex{16}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nn&}|hdclindex{16}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nnnnn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nn&}|hdclindex{17}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{18}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{18}{usage}}{11}
-\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{18}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{19}{usage}}{11}
-\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{19}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{19}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{20}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{20}{usage}}{11}
-\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{20}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{21}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{21}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnnn&}|hdclindex{21}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{22}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{22}{usage}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnn&}|hdclindex{22}{usage}}{11}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{22}{usage}}{11}
-\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{29}{}}{3}
-\indexentry{RequirePackage={\verbatim@font !\verb*&!\RequirePackage&}|hdclindex{30}{}}{4}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_declare_theorem:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&declare&!\_!\verb*&theorem:nn&}|hdclindex{31}{main}}{5}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{32}{}}{5}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{34}{}}{7}
-\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{35}{}}{8}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{37}{}}{10}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{38}{main}}{11}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{23}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{23}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnn&}|hdclindex{23}{usage}}{12}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{23}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{24}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{24}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnnnn&}|hdclindex{24}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{24}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{25}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{25}{usage}}{12}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{25}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{26}{usage}}{12}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{26}{usage}}{12}
-\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{26}{usage}}{12}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_declare_theorem:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&declare&!\_!\verb*&theorem:nn&}|hdclindex{31}{usage}}{12}
-\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{31}{usage}}{12}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{39}{}}{11}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{41}{}}{13}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{41}{}}{13}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{43}{}}{15}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{45}{}}{17}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{45}{}}{17}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{47}{}}{19}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{49}{}}{21}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{51}{}}{23}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{53}{}}{25}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{55}{}}{27}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{57}{}}{29}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnn&}|hdclindex{59}{}}{31}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{62}{}}{34}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{38}{usage}}{13}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{38}{usage}}{13}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{46}{usage}}{13}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{50}{usage}}{13}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnnn&}|hdclindex{54}{usage}}{13}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{58}{usage}}{13}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nn&}|hdclindex{58}{usage}}{13}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_new:nnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&new:nnnn&}|hdclindex{64}{}}{36}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_line_context:={\verbatim@font !\verb*&!\msg&!\_!\verb*&line&!\_!\verb*&context:&}|hdclindex{66}{}}{38}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_see_documentation_text:n={\verbatim@font !\verb*&!\msg&!\_!\verb*&see&!\_!\verb*&documentation&!\_!\verb*&text:n&}|hdclindex{73}{}}{45}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{75}{}}{47}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{76}{}}{48}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{77}{}}{49}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{78}{}}{50}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_new:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&new:n&}|hdclindex{79}{}}{51}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{80}{main}}{52}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{81}{}}{52}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{81}{}}{52}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{82}{main}}{53}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{82}{main}}{53}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{82}{main}}{53}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{82}{main}}{53}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{82}{main}}{53}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{82}{main}}{53}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{82}{main}}{53}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_new:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&new:N&}|hdclindex{83}{}}{53}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{84}{}}{54}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{85}{}}{55}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{86}{}}{56}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{87}{}}{57}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{88}{}}{58}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{89}{}}{59}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{90}{main}}{60}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{90}{main}}{60}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{90}{main}}{60}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{90}{main}}{60}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{90}{main}}{60}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{90}{main}}{60}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{90}{main}}{60}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{91}{}}{60}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{92}{}}{61}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_new:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&new:N&}|hdclindex{93}{}}{62}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{94}{}}{63}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{95}{}}{64}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{96}{}}{65}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{97}{main}}{66}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{98}{}}{66}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nn&}|hdclindex{63}{usage}}{14}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{80}{usage}}{14}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{80}{usage}}{14}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{99}{main}}{67}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_new:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&new:N&}|hdclindex{100}{}}{67}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{101}{main}}{68}
-\indexentry{int commands:=\pkg{int} commands:>int_new:N={\verbatim@font !\verb*&!\int&!\_!\verb*&new:N&}|hdclindex{102}{}}{68}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{103}{}}{69}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{105}{}}{71}
-\indexentry{tl commands:=\pkg{tl} commands:>empty_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&empty&!\_!\verb*&tl&}|hdclindex{106}{}}{72}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{107}{}}{73}
-\indexentry{tl commands:=\pkg{tl} commands:>empty_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&empty&!\_!\verb*&tl&}|hdclindex{108}{}}{74}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{110}{}}{76}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{113}{}}{79}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{116}{}}{82}
-\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{116}{}}{82}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{116}{}}{82}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{118}{}}{84}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{120}{}}{86}
-\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{121}{}}{87}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{122}{}}{88}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{124}{}}{90}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{126}{}}{92}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{129}{}}{95}
-\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{129}{}}{95}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{129}{}}{95}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{131}{}}{97}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{133}{}}{99}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{99}{usage}}{15}
-\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{134}{}}{100}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{135}{}}{101}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{137}{}}{103}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{139}{}}{105}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{142}{}}{108}
-\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{142}{}}{108}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{142}{}}{108}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_define:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&define:nn&}|hdclindex{144}{}}{110}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{146}{}}{112}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{149}{}}{115}
-\indexentry{str commands:=\pkg{str} commands:>str_use:N={\verbatim@font !\verb*&!\str&!\_!\verb*&use:N&}|hdclindex{149}{}}{115}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_key_str={\verbatim@font !\verb*&!\l&!\_!\verb*&keys&!\_!\verb*&key&!\_!\verb*&str&}|hdclindex{149}{}}{115}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{151}{main}}{117}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{152}{}}{117}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{154}{}}{119}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{156}{}}{121}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{158}{}}{123}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{160}{}}{125}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_if_eq:NnTF={\verbatim@font !\verb*&!\tl&!\_!\verb*&if&!\_!\verb*&eq:NnTF&}|hdclindex{161}{}}{126}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{161}{}}{126}
-\indexentry{tl commands:=\pkg{tl} commands:>novalue_tl={\verbatim@font !\verb*&!\c&!\_!\verb*&novalue&!\_!\verb*&tl&}|hdclindex{161}{}}{126}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{163}{}}{128}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{163}{}}{128}
-\indexentry{text commands:=\pkg{text} commands:>text_titlecase_first:n={\verbatim@font !\verb*&!\text&!\_!\verb*&titlecase&!\_!\verb*&first:n&}|hdclindex{165}{}}{130}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{169}{}}{134}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{169}{}}{134}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{169}{}}{134}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_set_eq:NN={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{171}{}}{136}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{171}{}}{136}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{171}{}}{136}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{172}{}}{137}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{172}{}}{137}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{172}{}}{137}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set_eq:NN={\verbatim@font !\verb*&!\tl&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{173}{}}{138}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{173}{}}{138}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{173}{}}{138}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{174}{}}{139}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{174}{}}{139}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{174}{}}{139}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{151}{usage}}{16}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{151}{usage}}{16}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{175}{}}{140}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{175}{}}{140}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{175}{}}{140}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{176}{}}{141}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{176}{}}{141}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_key_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&key&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{176}{}}{141}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{178}{main}}{143}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{179}{}}{143}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{181}{}}{145}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{183}{}}{147}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_remove_from_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&remove&!\_!\verb*&from&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{187}{main}}{151}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{188}{}}{151}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{190}{}}{153}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{192}{}}{155}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_sort_hook:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&sort&!\_!\verb*&hook:n&}|hdclindex{196}{main}}{159}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{178}{usage}}{17}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_remove_from_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&remove&!\_!\verb*&from&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{187}{usage}}{17}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{197}{}}{159}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{199}{}}{161}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{202}{}}{164}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{202}{}}{164}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{205}{main}}{167}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{206}{}}{167}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{208}{}}{169}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{209}{}}{170}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{209}{}}{170}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_sort_hook:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&sort&!\_!\verb*&hook:n&}|hdclindex{209}{}}{170}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{210}{}}{171}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{210}{}}{171}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{211}{}}{172}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_group:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&group:nnnnn&}|hdclindex{213}{main}}{174}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{214}{}}{174}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group__!\meta{theorem group}:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group&!\_!\_!\verb*&!\meta{theorem group}:&}|hdclindex{215}{main}}{176}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{216}{}}{176}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{218}{}}{178}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_put_left:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{220}{}}{180}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{220}{}}{180}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{222}{}}{182}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{224}{}}{184}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{224}{}}{184}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{226}{}}{186}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{228}{}}{188}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{228}{}}{188}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_sort_hook:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&sort&!\_!\verb*&hook:n&}|hdclindex{196}{usage}}{18}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{196}{usage}}{18}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{205}{usage}}{18}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_group:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&group:nnnnn&}|hdclindex{213}{usage}}{18}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gput_code:nnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gput&!\_!\verb*&code:nnn&}|hdclindex{230}{}}{190}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{232}{}}{192}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{232}{}}{192}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_add_to_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&add&!\_!\verb*&to&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{235}{}}{195}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_parents_group__!\meta{theorem group}__clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&parents&!\_!\verb*&group&!\_!\_!\verb*&!\meta{theorem group}&!\_!\_!\verb*&clist&}|hdclindex{235}{main}}{196}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{236}{}}{196}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{237}{}}{197}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{238}{}}{198}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{239}{}}{199}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_gput_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&gput&!\_!\verb*&left:Nn&}|hdclindex{240}{}}{200}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{240}{}}{200}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_undefine_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&undefine&!\_!\verb*&group:n&}|hdclindex{242}{main}}{202}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{243}{}}{202}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{245}{}}{204}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_undefine:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&undefine:N&}|hdclindex{246}{}}{205}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{247}{}}{206}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{248}{}}{207}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{249}{}}{208}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{250}{}}{209}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_gremove_all:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&gremove&!\_!\verb*&all:Nn&}|hdclindex{251}{}}{210}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{251}{}}{210}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_undefine:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&undefine:N&}|hdclindex{252}{}}{211}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{253}{}}{212}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{255}{}}{214}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{258}{}}{217}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{260}{}}{219}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_undefine_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&undefine&!\_!\verb*&group:n&}|hdclindex{242}{usage}}{19}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{263}{}}{222}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{265}{}}{224}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{268}{}}{227}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{270}{}}{229}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_hook_gset_rule_foreach:nNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&hook&!\_!\verb*&gset&!\_!\verb*&rule&!\_!\verb*&foreach:nNnn&}|hdclindex{273}{}}{232}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_defined_groups_clist={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&defined&!\_!\verb*&groups&!\_!\verb*&clist&}|hdclindex{275}{}}{234}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_remove_from_group_ordering:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&remove&!\_!\verb*&from&!\_!\verb*&group&!\_!\verb*&ordering:n&}|hdclindex{278}{}}{237}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{280}{main}}{239}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{281}{}}{239}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{280}{usage}}{20}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{283}{}}{241}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{285}{}}{243}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{287}{}}{245}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{290}{}}{248}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnnn&}|hdclindex{291}{}}{249}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{294}{}}{252}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{296}{}}{254}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{298}{}}{256}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{301}{}}{259}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnnn&}|hdclindex{302}{}}{260}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{305}{}}{263}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{308}{}}{266}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{309}{}}{267}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{311}{}}{269}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{314}{}}{272}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{315}{}}{273}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{318}{}}{276}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist_p:N={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist&!\_!\verb*&p:N&}|hdclindex{320}{}}{278}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq_p:nn={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq&!\_!\verb*&p:nn&}|hdclindex{322}{}}{280}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{325}{}}{283}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{328}{}}{286}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{332}{}}{290}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{333}{main}}{291}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{334}{}}{291}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{336}{}}{293}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{336}{}}{293}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Nn&}|hdclindex{338}{}}{295}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{340}{}}{297}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{350}{}}{307}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{350}{}}{307}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nnnnn&}|hdclindex{352}{main}}{309}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{353}{}}{309}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_undefine_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&undefine&!\_!\verb*&group:n&}|hdclindex{357}{}}{313}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_group:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&group:nnnnn&}|hdclindex{358}{}}{314}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{333}{usage}}{22}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnNNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnNNNn&}|hdclindex{333}{usage}}{22}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nnnnn&}|hdclindex{333}{usage}}{22}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define:nnnnNNn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define:nnnnNNn&}|hdclindex{333}{usage}}{22}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{361}{}}{317}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{362}{}}{318}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{363}{}}{319}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{364}{}}{320}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{365}{main}}{321}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{366}{}}{321}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{368}{}}{323}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{368}{}}{323}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Nn&}|hdclindex{370}{}}{325}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{375}{}}{330}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{375}{}}{330}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group:nn&}|hdclindex{377}{main}}{332}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{378}{}}{332}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{382}{}}{336}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{383}{}}{337}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{385}{}}{339}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{386}{}}{340}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{387}{}}{341}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{388}{}}{342}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{390}{}}{344}
-\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{391}{}}{345}
-\indexentry{LaTeX={\verbatim@font !\verb*&!\LaTeX&}|hdclindex{394}{}}{348}
-\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{396}{}}{350}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{396}{}}{350}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{396}{}}{350}
-\indexentry{cs={\verbatim@font !\verb*&!\cs&}|hdclindex{398}{}}{352}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{364}{usage}}{23}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{365}{usage}}{23}
-\indexentry{declarator={\verbatim@font !\verb*&!\declarator&}|hdclindex{365}{usage}}{23}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{377}{usage}}{23}
-\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{400}{}}{354}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{401}{}}{355}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{401}{}}{355}
-\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{403}{}}{357}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{405}{}}{359}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{405}{}}{359}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{406}{main}}{360}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{407}{}}{360}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Npn&}|hdclindex{409}{}}{362}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{409}{}}{362}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_set:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&set:Nn&}|hdclindex{411}{}}{364}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{411}{}}{364}
-\indexentry{text commands:=\pkg{text} commands:>text_titlecase_first:n={\verbatim@font !\verb*&!\text&!\_!\verb*&titlecase&!\_!\verb*&first:n&}|hdclindex{411}{}}{364}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_new_document_command:Nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&new&!\_!\verb*&document&!\_!\verb*&command:Nnn&}|hdclindex{412}{}}{365}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:nN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:nN&}|hdclindex{414}{}}{367}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_map_aux:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&map&!\_!\verb*&aux:n&}|hdclindex{414}{}}{367}
-\indexentry{NewTheoremGroup={\verbatim@font !\verb*&!\NewTheoremGroup&}|hdclindex{416}{main}}{369}
-\indexentry{RenewTheoremGroup={\verbatim@font !\verb*&!\RenewTheoremGroup&}|hdclindex{416}{main}}{369}
-\indexentry{ProvideTheoremGroup={\verbatim@font !\verb*&!\ProvideTheoremGroup&}|hdclindex{416}{main}}{369}
-\indexentry{DeclareTheoremGroup={\verbatim@font !\verb*&!\DeclareTheoremGroup&}|hdclindex{416}{main}}{369}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{417}{}}{369}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{419}{}}{371}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{422}{}}{374}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{424}{main}}{376}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{425}{}}{376}
-\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{427}{}}{378}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{427}{}}{378}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_trim_spaces:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&trim&!\_!\verb*&spaces:n&}|hdclindex{427}{}}{378}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq:nnTF={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq:nnTF&}|hdclindex{428}{}}{379}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{428}{}}{379}
-\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{430}{}}{381}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{430}{}}{381}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq:nnTF={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq:nnTF&}|hdclindex{432}{}}{383}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{432}{}}{383}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{406}{usage}}{24}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{406}{usage}}{24}
-\indexentry{declarator={\verbatim@font !\verb*&!\declarator&}|hdclindex{406}{usage}}{24}
-\indexentry{Declarator={\verbatim@font !\verb*&!\Declarator&}|hdclindex{406}{usage}}{24}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_!\meta {declarator}_group:nn={\verbatim@font \bslash groupthm_\meta {declarator}_group:nn}|hdclindex{416}{usage}}{24}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{424}{usage}}{24}
-\indexentry{str commands:=\pkg{str} commands:>str_set:Nn={\verbatim@font !\verb*&!\str&!\_!\verb*&set:Nn&}|hdclindex{434}{}}{385}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{434}{}}{385}
-\indexentry{str commands:=\pkg{str} commands:>str_if_eq:nnTF={\verbatim@font !\verb*&!\str&!\_!\verb*&if&!\_!\verb*&eq:nnTF&}|hdclindex{436}{}}{387}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{438}{}}{389}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{438}{}}{389}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gset_rule:nnnn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gset&!\_!\verb*&rule:nnnn&}|hdclindex{441}{}}{392}
-\indexentry{str commands:=\pkg{str} commands:>tmpa_str={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&str&}|hdclindex{441}{}}{392}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{444}{}}{395}
-\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{445}{main}}{396}
-\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{446}{}}{396}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{448}{}}{398}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{450}{main}}{400}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{451}{}}{400}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{453}{}}{402}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{454}{}}{403}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_gput_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&gput&!\_!\verb*&left:Nn&}|hdclindex{455}{}}{404}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{457}{}}{406}
-\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{458}{main}}{407}
-\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{459}{}}{407}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{461}{}}{409}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{463}{main}}{411}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_flatten_groups_hierarchy:nN={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&flatten&!\_!\verb*&groups&!\_!\verb*&hierarchy:nN&}|hdclindex{465}{main}}{412}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{466}{}}{412}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{466}{}}{412}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_push:Nn={\verbatim@font !\verb*&!\seq&!\_!\verb*&push:Nn&}|hdclindex{468}{}}{414}
-\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{468}{}}{414}
-\indexentry{DeclareTheoremGroupRule={\verbatim@font !\verb*&!\DeclareTheoremGroupRule&}|hdclindex{445}{usage}}{25}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{450}{usage}}{25}
-\indexentry{AddTheoremGroupParent={\verbatim@font !\verb*&!\AddTheoremGroupParent&}|hdclindex{458}{usage}}{25}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{458}{usage}}{25}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{463}{usage}}{25}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{470}{}}{416}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{472}{}}{418}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_set_from_clist:Nn={\verbatim@font !\verb*&!\seq&!\_!\verb*&set&!\_!\verb*&from&!\_!\verb*&clist:Nn&}|hdclindex{473}{}}{419}
-\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{473}{}}{419}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_until_do:nn={\verbatim@font !\verb*&!\bool&!\_!\verb*&until&!\_!\verb*&do:nn&}|hdclindex{474}{}}{420}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_if_empty_p:N={\verbatim@font !\verb*&!\seq&!\_!\verb*&if&!\_!\verb*&empty&!\_!\verb*&p:N&}|hdclindex{476}{}}{422}
-\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{476}{}}{422}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_pop:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&pop:NN&}|hdclindex{479}{}}{425}
-\indexentry{seq commands:=\pkg{seq} commands:>tmpa_seq={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&seq&}|hdclindex{479}{}}{425}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{479}{}}{425}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{480}{}}{426}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{480}{}}{426}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_if_in:NnTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&in:NnTF&}|hdclindex{481}{}}{427}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{481}{}}{427}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{483}{}}{429}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{483}{}}{429}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{484}{}}{430}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{485}{}}{431}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_push_tmpa_seq:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&push&!\_!\verb*&tmpa&!\_!\verb*&seq:n&}|hdclindex{486}{}}{432}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{490}{main}}{436}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{491}{}}{436}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nn&}|hdclindex{493}{}}{438}
-\indexentry{int commands:=\pkg{int} commands:>int_use:N={\verbatim@font !\verb*&!\int&!\_!\verb*&use:N&}|hdclindex{493}{}}{438}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{493}{}}{438}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_parent:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&parent:nn&}|hdclindex{494}{}}{439}
-\indexentry{int commands:=\pkg{int} commands:>int_use:N={\verbatim@font !\verb*&!\int&!\_!\verb*&use:N&}|hdclindex{494}{}}{439}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{494}{}}{439}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_group_rule:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&group&!\_!\verb*&rule:nnnn&}|hdclindex{495}{}}{440}
-\indexentry{int commands:=\pkg{int} commands:>int_use:N={\verbatim@font !\verb*&!\int&!\_!\verb*&use:N&}|hdclindex{496}{}}{441}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{496}{}}{441}
-\indexentry{int commands:=\pkg{int} commands:>int_gincr:N={\verbatim@font !\verb*&!\int&!\_!\verb*&gincr:N&}|hdclindex{497}{}}{442}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_append_groups_int={\verbatim@font !\verb*&!\g&!\_!\_!\verb*&groupthm&!\_!\verb*&append&!\_!\verb*&groups&!\_!\verb*&int&}|hdclindex{497}{}}{442}
-\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{499}{}}{444}
-\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{500}{}}{445}
-\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{504}{}}{449}
-\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{504}{}}{449}
-\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{505}{}}{450}
-\indexentry{cs={\verbatim@font !\verb*&!\cs&}|hdclindex{506}{}}{451}
-\indexentry{marg={\verbatim@font !\verb*&!\marg&}|hdclindex{506}{}}{451}
-\indexentry{marg={\verbatim@font !\verb*&!\marg&}|hdclindex{506}{}}{451}
-\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{507}{}}{452}
-\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{511}{}}{456}
-\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{512}{}}{457}
-\indexentry{AppendToTheoremGroup={\verbatim@font !\verb*&!\AppendToTheoremGroup&}|hdclindex{512}{}}{457}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_flatten_groups_hierarchy:nN={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&flatten&!\_!\verb*&groups&!\_!\verb*&hierarchy:nN&}|hdclindex{465}{usage}}{26}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_append_to_group:nn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&append&!\_!\verb*&to&!\_!\verb*&group:nn&}|hdclindex{490}{usage}}{26}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{516}{}}{461}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{517}{}}{462}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_group:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&group:nnnnn&}|hdclindex{518}{}}{463}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{519}{main}}{464}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{520}{}}{464}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{520}{}}{464}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_new:N={\verbatim@font !\verb*&!\seq&!\_!\verb*&new:N&}|hdclindex{521}{}}{465}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{521}{}}{465}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{522}{}}{466}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_remove_all:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&remove&!\_!\verb*&all:Nn&}|hdclindex{522}{}}{466}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{523}{}}{467}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{523}{}}{467}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_if_empty:NTF={\verbatim@font !\verb*&!\clist&!\_!\verb*&if&!\_!\verb*&empty:NTF&}|hdclindex{525}{}}{469}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{525}{}}{469}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_get:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&get:NN&}|hdclindex{530}{}}{474}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{530}{}}{474}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{530}{}}{474}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_push:Nn={\verbatim@font !\verb*&!\seq&!\_!\verb*&push:Nn&}|hdclindex{531}{}}{475}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{531}{}}{475}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{531}{}}{475}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_pop:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&pop:NN&}|hdclindex{532}{}}{476}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{532}{}}{476}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{532}{}}{476}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{533}{}}{477}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_get:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&get:NN&}|hdclindex{534}{}}{478}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{534}{}}{478}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{534}{}}{478}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{535}{}}{479}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{535}{}}{479}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{536}{}}{480}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_get:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&get:NN&}|hdclindex{537}{}}{481}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{537}{}}{481}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{537}{}}{481}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_remove_all:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&remove&!\_!\verb*&all:Nn&}|hdclindex{538}{}}{482}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{538}{}}{482}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_push:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&push:Nn&}|hdclindex{539}{}}{483}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{539}{}}{483}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{539}{}}{483}
-\indexentry{seq commands:=\pkg{seq} commands:>seq_pop:NN={\verbatim@font !\verb*&!\seq&!\_!\verb*&pop:NN&}|hdclindex{540}{}}{484}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_saved_seq={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&saved&!\_!\verb*&seq&}|hdclindex{540}{}}{484}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{540}{}}{484}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{543}{}}{487}
-\indexentry{powerset commands:=\pkg{powerset} commands:>powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{543}{}}{487}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{545}{}}{489}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{545}{}}{489}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{546}{}}{490}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_remove_duplicates:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&remove&!\_!\verb*&duplicates:N&}|hdclindex{547}{}}{491}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{547}{}}{491}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_clist_foreach_aux:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach&!\_!\verb*&aux:Nn&}|hdclindex{548}{}}{492}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{549}{}}{493}
-\indexentry{powerset internal commands:=\pkg{powerset} internal commands:>powerset_copied_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&powerset&!\_!\verb*&copied&!\_!\verb*&clist&}|hdclindex{549}{}}{493}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{519}{usage}}{27}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{551}{main}}{495}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{552}{}}{495}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{554}{}}{497}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnn&}|hdclindex{556}{}}{499}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{559}{}}{502}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group:n&}|hdclindex{560}{main}}{503}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{561}{}}{503}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{563}{}}{505}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{564}{}}{506}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_function_on_name:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&function&!\_!\verb*&on&!\_!\verb*&name:n&}|hdclindex{566}{main}}{508}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{567}{}}{508}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{569}{}}{510}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{569}{}}{510}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_use:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&use:N&}|hdclindex{571}{}}{512}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{571}{}}{512}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_theorem:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&theorem:nnnn&}|hdclindex{574}{main}}{515}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{575}{}}{515}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_clear:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&clear:N&}|hdclindex{577}{}}{517}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{577}{}}{517}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{578}{}}{518}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{578}{}}{518}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_clear:N={\verbatim@font !\verb*&!\tl&!\_!\verb*&clear:N&}|hdclindex{579}{}}{519}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{579}{}}{519}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{580}{}}{520}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{580}{}}{520}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{581}{}}{521}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{581}{}}{521}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_ensure_group_exists:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&ensure&!\_!\verb*&group&!\_!\verb*&exists:n&}|hdclindex{551}{usage}}{28}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group:n&}|hdclindex{560}{usage}}{28}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_function_on_name:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&function&!\_!\verb*&on&!\_!\verb*&name:n&}|hdclindex{566}{usage}}{28}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{566}{usage}}{28}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_theorem:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&theorem:nnnn&}|hdclindex{574}{usage}}{28}
-\indexentry{declaretheorem={\verbatim@font !\verb*&!\declaretheorem&}|hdclindex{574}{usage}}{28}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{582}{}}{522}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{583}{}}{523}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{584}{}}{524}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_gremove_code:nn={\verbatim@font !\verb*&!\hook&!\_!\verb*&gremove&!\_!\verb*&code:nn&}|hdclindex{585}{}}{525}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_flatten_groups_hierarchy:nN={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&flatten&!\_!\verb*&groups&!\_!\verb*&hierarchy:nN&}|hdclindex{586}{}}{526}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{586}{}}{526}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{587}{}}{527}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{587}{}}{527}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_use_group:n={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&use&!\_!\verb*&group:n&}|hdclindex{587}{}}{527}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_log:n={\verbatim@font !\verb*&!\tl&!\_!\verb*&log:n&}|hdclindex{588}{}}{528}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{588}{}}{528}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{588}{}}{528}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{590}{}}{530}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{591}{}}{531}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{592}{}}{532}
-\indexentry{hook commands:=\pkg{hook} commands:>hook_use:n={\verbatim@font !\verb*&!\hook&!\_!\verb*&use:n&}|hdclindex{593}{}}{533}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_map_function:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&map&!\_!\verb*&function:NN&}|hdclindex{594}{}}{534}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_mapname_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&mapname&!\_!\verb*&clist&}|hdclindex{594}{}}{534}
-\indexentry{map commands:=\pkg{map} commands:>map_use_on_name:n={\verbatim@font !\verb*&!\map&!\_!\verb*&use&!\_!\verb*&on&!\_!\verb*&name:n&}|hdclindex{594}{}}{534}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_set:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&set:Nn&}|hdclindex{595}{}}{535}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{595}{}}{535}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{596}{}}{536}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{596}{}}{536}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_prefix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&prefix&!\_!\verb*&tl&}|hdclindex{596}{}}{536}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{597}{}}{537}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{597}{}}{537}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{597}{}}{537}
-\indexentry{tl commands:=\pkg{tl} commands:>tl_put_right:Nn={\verbatim@font !\verb*&!\tl&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{598}{}}{538}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{598}{}}{538}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_suffix_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&suffix&!\_!\verb*&tl&}|hdclindex{598}{}}{538}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{599}{}}{539}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{599}{}}{539}
-\indexentry{tl commands:=\pkg{tl} commands:>tmpa_tl={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&tl&}|hdclindex{599}{}}{539}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{600}{}}{540}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{600}{}}{540}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_declare_theorem:nn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&declare&!\_!\verb*&theorem:nn&}|hdclindex{601}{}}{541}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{602}{}}{542}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{605}{main}}{545}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnnn&}|hdclindex{605}{main}}{545}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{606}{}}{545}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_error:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&error:&}|hdclindex{610}{}}{549}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnnn&}|hdclindex{605}{usage}}{29}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_theorem:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&theorem:nnnn&}|hdclindex{611}{}}{550}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{614}{}}{553}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{615}{}}{554}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{616}{}}{555}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{617}{}}{556}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{618}{main}}{557}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&theorem:nnn&}|hdclindex{618}{main}}{557}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{619}{}}{557}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{623}{}}{561}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{624}{}}{562}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{626}{}}{564}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{626}{}}{564}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{628}{}}{566}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{630}{}}{568}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{631}{}}{569}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{632}{}}{570}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{633}{}}{571}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{633}{}}{571}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{635}{}}{573}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{635}{}}{573}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{636}{}}{574}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{638}{}}{576}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{639}{}}{577}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{640}{}}{578}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{643}{main}}{581}
-\indexentry{NewGroupedTheorem*={\verbatim@font !\verb*&!\NewGroupedTheorem*&}|hdclindex{643}{main}}{581}
-\indexentry{ProvideGroupedTheorem={\verbatim@font !\verb*&!\ProvideGroupedTheorem&}|hdclindex{643}{main}}{581}
-\indexentry{ProvideGroupedTheorem*={\verbatim@font !\verb*&!\ProvideGroupedTheorem*&}|hdclindex{643}{main}}{581}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{644}{}}{581}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{646}{}}{583}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_theorem:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&theorem:nnn&}|hdclindex{618}{usage}}{30}
-\indexentry{NewGroupedTheorem={\verbatim@font !\verb*&!\NewGroupedTheorem&}|hdclindex{643}{usage}}{30}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{649}{}}{586}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family:nnnnn&}|hdclindex{654}{main}}{591}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{655}{}}{591}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{657}{}}{593}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{657}{}}{593}
-\indexentry{powerset commands:=\pkg{powerset} commands:>powerset_clist_foreach:Nn={\verbatim@font !\verb*&!\powerset&!\_!\verb*&clist&!\_!\verb*&foreach:Nn&}|hdclindex{658}{}}{594}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{658}{}}{594}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{660}{}}{596}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{660}{}}{596}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{660}{}}{596}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{661}{}}{597}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{661}{}}{597}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{662}{}}{598}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{663}{}}{599}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{664}{}}{600}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{664}{}}{600}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{665}{}}{601}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{669}{}}{605}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set_eq:NN={\verbatim@font !\verb*&!\clist&!\_!\verb*&set&!\_!\verb*&eq:NN&}|hdclindex{670}{}}{606}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{670}{}}{606}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_new:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&new:N&}|hdclindex{671}{}}{607}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{672}{}}{608}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{674}{main}}{610}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family:nnnnn&}|hdclindex{654}{usage}}{31}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{659}{usage}}{31}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{675}{}}{610}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_error:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&error:&}|hdclindex{679}{}}{614}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family:nnnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family:nnnnn&}|hdclindex{680}{}}{615}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{683}{}}{618}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{684}{}}{619}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnnnn&}|hdclindex{684}{}}{619}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{685}{main}}{620}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family:nnn&}|hdclindex{685}{main}}{620}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple:nnn&}|hdclindex{686}{}}{620}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_set_normalized_keys:nnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&set&!\_!\verb*&normalized&!\_!\verb*&keys:nnn&}|hdclindex{690}{}}{624}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{691}{}}{625}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{693}{}}{627}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{693}{}}{627}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{696}{}}{630}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{696}{}}{630}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{698}{}}{632}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{698}{}}{632}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{700}{}}{634}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{700}{}}{634}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{702}{}}{636}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{704}{}}{638}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_name_tl={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&name&!\_!\verb*&tl&}|hdclindex{705}{}}{639}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_thmtools_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&thmtools&!\_!\verb*&clist&}|hdclindex{706}{}}{640}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{707}{}}{641}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{709}{main}}{643}
-\indexentry{NewGroupedTheoremFamily*={\verbatim@font !\verb*&!\NewGroupedTheoremFamily*&}|hdclindex{709}{main}}{643}
-\indexentry{ProvideGroupedTheoremFamily={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily&}|hdclindex{709}{main}}{643}
-\indexentry{ProvideGroupedTheoremFamily*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamily*&}|hdclindex{709}{main}}{643}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{710}{}}{643}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{712}{}}{645}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{715}{}}{648}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnnnn&}|hdclindex{674}{usage}}{32}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family:nnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family:nnn&}|hdclindex{685}{usage}}{32}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{709}{usage}}{32}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{720}{main}}{653}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{721}{}}{653}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{723}{}}{655}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{723}{}}{655}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_left:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&left:Nn&}|hdclindex{725}{}}{657}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{725}{}}{657}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nn&}|hdclindex{728}{}}{660}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{731}{main}}{663}
-\indexentry{NewDocumentCommand={\verbatim@font !\verb*&!\NewDocumentCommand&}|hdclindex{732}{}}{663}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{734}{}}{665}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family_options:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{736}{main}}{667}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_new:Npn={\verbatim@font !\verb*&!\cs&!\_!\verb*&new:Npn&}|hdclindex{737}{}}{667}
-\indexentry{DeclareDocumentEnvironment={\verbatim@font !\verb*&!\DeclareDocumentEnvironment&}|hdclindex{739}{}}{669}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{743}{}}{673}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{743}{}}{673}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{720}{usage}}{33}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{731}{usage}}{33}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family_options:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{736}{usage}}{33}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_set_true:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&true:N&}|hdclindex{744}{}}{674}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{744}{}}{674}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_set_false:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&false:N&}|hdclindex{746}{}}{676}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{746}{}}{676}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{747}{}}{677}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{747}{}}{677}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{748}{}}{678}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_if_exist:NTF={\verbatim@font !\verb*&!\cs&!\_!\verb*&if&!\_!\verb*&exist:NTF&}|hdclindex{749}{}}{679}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{749}{}}{679}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{749}{}}{679}
-\indexentry{begin={\verbatim@font !\verb*&!\begin&}|hdclindex{751}{}}{681}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{751}{}}{681}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{751}{}}{681}
-\indexentry{msg commands:=\pkg{msg} commands:>msg_error:nnnn={\verbatim@font !\verb*&!\msg&!\_!\verb*&error:nnnn&}|hdclindex{754}{}}{684}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nnnn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nnnn&}|hdclindex{756}{}}{686}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{756}{}}{686}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{760}{}}{690}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{760}{}}{690}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_set_true:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&true:N&}|hdclindex{761}{}}{691}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{761}{}}{691}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_set_false:N={\verbatim@font !\verb*&!\bool&!\_!\verb*&set&!\_!\verb*&false:N&}|hdclindex{763}{}}{693}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_in_family_options_environment_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&in&!\_!\verb*&family&!\_!\verb*&options&!\_!\verb*&environment&!\_!\verb*&bool&}|hdclindex{763}{}}{693}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_put_right:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&put&!\_!\verb*&right:Nn&}|hdclindex{764}{}}{694}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{764}{}}{694}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_sort_group_names:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&sort&!\_!\verb*&group&!\_!\verb*&names:&}|hdclindex{765}{}}{695}
-\indexentry{end={\verbatim@font !\verb*&!\end&}|hdclindex{766}{}}{696}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_use:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&use:Nn&}|hdclindex{766}{}}{696}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_group_clist={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&group&!\_!\verb*&clist&}|hdclindex{766}{}}{696}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_renew_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&renew&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_provide_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&provide&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_declare_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&declare&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{main}}{699}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_multiple:nnnNNnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&multiple:nnnNNnn&}|hdclindex{770}{}}{699}
-\indexentry{use commands:=\pkg{use} commands:>use_none:n={\verbatim@font !\verb*&!\use&!\_!\verb*&none:n&}|hdclindex{774}{}}{703}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_define_family_options:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&define&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{775}{}}{704}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{778}{}}{707}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{779}{}}{708}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{780}{}}{709}
-\indexentry{cs commands:=\pkg{cs} commands:>cs_generate_variant:Nn={\verbatim@font !\verb*&!\cs&!\_!\verb*&generate&!\_!\verb*&variant:Nn&}|hdclindex{781}{}}{710}
-\indexentry{AddTheoremToGroup={\verbatim@font !\verb*&!\AddTheoremToGroup&}|hdclindex{742}{usage}}{34}
-\indexentry{NewGroupedTheoremFamily={\verbatim@font !\verb*&!\NewGroupedTheoremFamily&}|hdclindex{747}{usage}}{34}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_new_family_options:nnnn={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&new&!\_!\verb*&family&!\_!\verb*&options:nnnn&}|hdclindex{769}{usage}}{34}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711}
-\indexentry{NewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711}
-\indexentry{RenewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711}
-\indexentry{RenewGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\RenewGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711}
-\indexentry{ProvideGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711}
-\indexentry{ProvideGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\ProvideGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711}
-\indexentry{DeclareGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions&}|hdclindex{782}{main}}{711}
-\indexentry{DeclareGroupedTheoremFamilyOptions*={\verbatim@font !\verb*&!\DeclareGroupedTheoremFamilyOptions*&}|hdclindex{782}{main}}{711}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_wrap_multiple_document:nnnn={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&wrap&!\_!\verb*&multiple&!\_!\verb*&document:nnnn&}|hdclindex{783}{}}{711}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_Declarator:={\verbatim@font !\verb*&!\&!\_!\_!\verb*&groupthm&!\_!\verb*&Declarator:&}|hdclindex{785}{}}{713}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{788}{}}{716}
-\indexentry{keys commands:=\pkg{keys} commands:>keys_set:nn={\verbatim@font !\verb*&!\keys&!\_!\verb*&set:nn&}|hdclindex{789}{}}{717}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:nTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:nTF&}|hdclindex{790}{}}{718}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_set:Nn={\verbatim@font !\verb*&!\clist&!\_!\verb*&set:Nn&}|hdclindex{792}{}}{720}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{792}{}}{720}
-\indexentry{clist commands:=\pkg{clist} commands:>clist_clear:N={\verbatim@font !\verb*&!\clist&!\_!\verb*&clear:N&}|hdclindex{795}{}}{723}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{795}{}}{723}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{797}{}}{725}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{801}{}}{729}
-\indexentry{bool commands:=\pkg{bool} commands:>bool_if:NTF={\verbatim@font !\verb*&!\bool&!\_!\verb*&if:NTF&}|hdclindex{802}{}}{730}
-\indexentry{groupthm internal commands:=\pkg{groupthm} internal commands:>groupthm_starred_version_bool={\verbatim@font !\verb*&!\l&!\_!\_!\verb*&groupthm&!\_!\verb*&starred&!\_!\verb*&version&!\_!\verb*&bool&}|hdclindex{802}{}}{730}
-\indexentry{use commands:=\pkg{use} commands:>use:N={\verbatim@font !\verb*&!\use:N&}|hdclindex{804}{}}{732}
-\indexentry{groupthm commands:=\pkg{groupthm} commands:>groupthm_add_theorem_to_group:n={\verbatim@font !\verb*&!\groupthm&!\_!\verb*&add&!\_!\verb*&theorem&!\_!\verb*&to&!\_!\verb*&group:n&}|hdclindex{809}{}}{737}
-\indexentry{clist commands:=\pkg{clist} commands:>tmpa_clist={\verbatim@font !\verb*&!\l&!\_!\verb*&tmpa&!\_!\verb*&clist&}|hdclindex{811}{}}{739}
-\indexentry{NewGroupedTheoremFamilyOptions={\verbatim@font !\verb*&!\NewGroupedTheoremFamilyOptions&}|hdclindex{782}{usage}}{35}
diff --git a/src/environments/groupthm/groupthm.out b/src/environments/groupthm/groupthm.out
deleted file mode 100644
index 7c4b2a3..0000000
--- a/src/environments/groupthm/groupthm.out
+++ /dev/null
@@ -1,29 +0,0 @@
-\BOOKMARK [1][-]{toc1.1}{Contents}{}% 1
-\BOOKMARK [1][-]{section.0.1}{1 Concepts}{}% 2
-\BOOKMARK [2][-]{subsection.0.1.1}{1.1 Theorem groups}{section.0.1}% 3
-\BOOKMARK [2][-]{subsection.0.1.2}{1.2 Grouped theorems}{section.0.1}% 4
-\BOOKMARK [2][-]{subsection.0.1.3}{1.3 Theorem families}{section.0.1}% 5
-\BOOKMARK [2][-]{subsection.0.1.4}{1.4 General notions}{section.0.1}% 6
-\BOOKMARK [1][-]{section.0.2}{2 Theorem groups}{}% 7
-\BOOKMARK [2][-]{subsection.0.2.1}{2.1 Defining theorem groups}{section.0.2}% 8
-\BOOKMARK [2][-]{subsection.0.2.2}{2.2 Controlling theorem group precedence}{section.0.2}% 9
-\BOOKMARK [2][-]{subsection.0.2.3}{2.3 Inheritance of theorem groups}{section.0.2}% 10
-\BOOKMARK [2][-]{subsection.0.2.4}{2.4 Appending to theorem groups}{section.0.2}% 11
-\BOOKMARK [2][-]{subsection.0.2.5}{2.5 Default theorem groups}{section.0.2}% 12
-\BOOKMARK [1][-]{section.0.3}{3 Grouped Theorems}{}% 13
-\BOOKMARK [2][-]{subsection.0.3.1}{3.1 Defining grouped theorems}{section.0.3}% 14
-\BOOKMARK [2][-]{subsection.0.3.2}{3.2 Defining families of grouped theorems}{section.0.3}% 15
-\BOOKMARK [1][-]{section.0.4}{4 LaTeX3 interface}{}% 16
-\BOOKMARK [2][-]{subsection.0.4.1}{4.1 Theorem groups}{section.0.4}% 17
-\BOOKMARK [2][-]{subsection.0.4.2}{4.2 Grouped theorems}{section.0.4}% 18
-\BOOKMARK [2][-]{subsection.0.4.3}{4.3 Theorem families}{section.0.4}% 19
-\BOOKMARK [1][-]{section.0.5}{5 groupthm implementation}{}% 20
-\BOOKMARK [2][-]{subsection.0.5.1}{5.1 Dependencies}{section.0.5}% 21
-\BOOKMARK [2][-]{subsection.0.5.2}{5.2 Messages}{section.0.5}% 22
-\BOOKMARK [2][-]{subsection.0.5.3}{5.3 Allocation and initialization}{section.0.5}% 23
-\BOOKMARK [2][-]{subsection.0.5.4}{5.4 Key interface}{section.0.5}% 24
-\BOOKMARK [2][-]{subsection.0.5.5}{5.5 Theorem groups}{section.0.5}% 25
-\BOOKMARK [2][-]{subsection.0.5.6}{5.6 Iterating over powersets}{section.0.5}% 26
-\BOOKMARK [2][-]{subsection.0.5.7}{5.7 Grouped Theorems}{section.0.5}% 27
-\BOOKMARK [2][-]{subsection.0.5.8}{5.8 Theorem families}{section.0.5}% 28
-\BOOKMARK [2][-]{subsection.0.5.9}{5.9 Theorem family options}{section.0.5}% 29
diff --git a/src/environments/groupthm/groupthm.sty b/src/environments/groupthm/groupthm.sty
deleted file mode 100644
index 4f57064..0000000
--- a/src/environments/groupthm/groupthm.sty
+++ /dev/null
@@ -1,742 +0,0 @@
-%%
-%% This is file `groupthm.sty',
-%% generated with the docstrip utility.
-%%
-%% The original source files were:
-%%
-%% groupthm.dtx  (with options: `package')
-%% 
-%% IMPORTANT NOTICE:
-%% 
-%% For the copyright see the source file.
-%% 
-%% Any modified versions of this file must be renamed
-%% with new filenames distinct from groupthm.sty.
-%% 
-%% For distribution of the original source see the terms
-%% for copying and modification in the file groupthm.dtx.
-%% 
-%% This generated file may be distributed as long as the
-%% original source files, as listed above, are part of the
-%% same distribution. (The sources need not necessarily be
-%% in the same archive or directory.)
-%% File: groupthm.dtx
-\ProvidesExplPackage{groupthm}{2022/01/17}{0.0.1}{Grouped theorems.}
-\RequirePackage{amsthm}
-\RequirePackage{thmtools}
-\cs_new:Npn \__groupthm_thmtools_declare_theorem:nn #1 #2
-  {
-    \tl_log:n { Declaring ~ thmtools ~ theorem ~ #2 }
-    \declaretheorem [ #1 ] { #2 }
-  }
-\cs_generate_variant:Nn \__groupthm_thmtools_declare_theorem:nn { V n }
-\cs_new:Npn \__groupthm_hook_gset_rule_foreach:nNnn #1 #2 #3 #4
-  {
-    \cs_set:Npn \__groupthm_map_aux:n ##1
-    {
-      \hook_gset_rule:nnnn { #1 } { ##1 } { #3 } { #4 }
-    }
-    \clist_map_function:NN #2 \__groupthm_map_aux:n
-  }
-\msg_new:nnn { groupthm } { unknown ~ group }
-{
-  Unknown  ~ group ~ '#1' ~ supplied ~ \msg_line_context:
-}
-\msg_new:nnn { groupthm } { unknown ~ key }
-{
-  Unknown ~  key ~ '#1' ~ supplied ~ \msg_line_context:
-}
-\msg_new:nnn { groupthm } { wrong ~ definition }
-{
-  Bad ~ definition ~ of ~ #1 ~ '#2' ~ \msg_line_context:, ~ #1 ~ is ~ #3 ~ defined.
-}
-\msg_new:nnn { groupthm } { misuse ~ add ~ theorem ~ to ~ group }
-  {
-    Bad ~ usage ~ of ~ 'AddTheoremToGroup' ~ macro ~ outside ~ theorem ~
-    family ~ options ~ \msg_line_context:
-  }
-\msg_new:nnnn { groupthm } { undefined ~ theorem ~ variant }
-  {
-    Bad ~ call ~ of ~ theorem ~ variant ~ of ~ '#1' ~ \msg_line_context:
-  }
-  {
-    You ~ wanted ~ to ~ call ~ the ~ variant ~ with ~ group(s) ~
-    '#2' ~ of ~ theorem ~ family ~ '#1', ~ but ~ it ~ has ~ not ~ been ~
-    generated ~ yet. ~
-    Probably ~ you ~ forgot ~ this. ~
-    \msg_see_documentation_text:n { groupthm }
-  }
-\hook_new:n { __groupthm/prefix   }
-\hook_new:n { __groupthm/suffix  }
-\hook_new:n { __groupthm/mapname   }
-\hook_new:n { __groupthm/thmtools  }
-\hook_new:n { __groupthm/groupsort }
-\cs_generate_variant:Nn \hook_gset_rule:nnnn { n n V n }
-\bool_new:N  \l__groupthm_key_starred_version_bool
-\tl_new:N    \l__groupthm_key_prefix_tl
-\tl_new:N    \l__groupthm_key_name_tl
-\tl_new:N    \l__groupthm_key_suffix_tl
-\clist_new:N \l__groupthm_key_group_clist
-\clist_new:N \l__groupthm_key_mapname_clist
-\clist_new:N \l__groupthm_key_thmtools_clist
-\tl_new:N    \l__groupthm_prefix_tl
-\tl_new:N    \l__groupthm_name_tl
-\tl_new:N    \l__groupthm_suffix_tl
-\clist_new:N \l__groupthm_mapname_clist
-\clist_new:N \l__groupthm_thmtools_clist
-\clist_new:N \l__groupthm_group_clist
-\clist_new:N \g__groupthm_defined_groups_clist
-\bool_new:N  \l__groupthm_in_family_options_environment_bool
-\int_new:N   \g__groupthm_append_groups_int
-\keys_define:nn { groupthm / theorem ~ group }
-  {
-    prefix      .tl_set:N      = \l__groupthm_key_prefix_tl,
-    prefix      .default:n     = \c_empty_tl,
-    suffix      .tl_set:N      = \l__groupthm_key_suffix_tl,
-    suffix      .default:n     = \c_empty_tl,
-    suffix      .groups:n      = { theoremgroup },
-    map ~ name  .clist_set:N   = \l__groupthm_mapname_clist,
-    map ~ name  .default:n     = {},
-    map ~ name  .groups:n      = { theoremgroup },
-    thmtools    .clist_set:N   = \l__groupthm_key_thmtools_clist,
-    thmtools    .default:n     = {},
-    unknown     .code:n        =
-      \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str }
-  }
-\keys_define:nn { groupthm / grouped ~ theorem }
-  {
-    name                    .tl_set:N      = \l__groupthm_key_name_tl,
-    name                    .default:n     = \c_novalue_tl,
-    group                   .clist_set:N   = \l__groupthm_key_group_clist,
-    group                   .default:n     = {},
-    thmtools                .clist_set:N   = \l__groupthm_key_thmtools_clist,
-    thmtools                .default:n     = {},
-    starred ~ version       .bool_set:N    = \l__groupthm_key_starred_version_bool,
-    starred ~ version       .default:n     = { true },
-    unknown      .code:n        =
-      \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str }
-  }
-\keys_define:nn { groupthm / theorem ~ family }
-  {
-    name                    .tl_set:N      = \l__groupthm_key_name_tl,
-    name                    .default:n     = \c_novalue_tl,
-    group                   .clist_set:N   = \l__groupthm_key_group_clist,
-    group                   .default:n     = {},
-    thmtools                .clist_set:N   = \l__groupthm_key_thmtools_clist,
-    thmtools                .default:n     = {},
-    starred ~ version       .bool_set:N    = \l__groupthm_key_starred_version_bool,
-    starred ~ version       .default:n     = { true },
-    unknown      .code:n        =
-      \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str }
-  }
-\keys_define:nn { groupthm / theorem ~ family ~ options }
-  {
-    starred ~ version       .bool_set:N    = \l__groupthm_key_starred_version_bool,
-    starred ~ version       .default:n     = { true },
-    unknown      .code:n        =
-      \msg_error:nnx { groupthm } { unknown ~ key } { \str_use:N \l_keys_key_str }
-  }
-\cs_new:Npn \__groupthm_set_normalized_keys:nnn #1 #2 #3
-  {
-    \keys_set:nn { groupthm / theorem ~ group   }
-      { prefix, suffix, thmtools, map ~ name        }
-    \keys_set:nn { groupthm / grouped ~ theorem }
-      { name,   group,  thmtools, starred ~ version }
-    \keys_set:nn { groupthm / theorem ~ family  }
-      { name,   group,  thmtools, starred ~ version }
-    \keys_set:nn { groupthm / #2 } { #1 }
-    \tl_if_eq:NnTF \l__groupthm_key_name_tl { \c_novalue_tl }
-      {
-        \tl_set:Nx \l__groupthm_name_tl
-          {
-            \text_titlecase_first:n {#3}
-          }
-      }
-      {
-        \tl_set_eq:NN \l__groupthm_name_tl \l__groupthm_key_name_tl
-      }
-    \bool_set_eq:NN  \l__groupthm_starred_version_bool \l__groupthm_key_starred_version_bool
-    \tl_set_eq:NN    \l__groupthm_prefix_tl            \l__groupthm_key_prefix_tl
-    \tl_set_eq:NN    \l__groupthm_suffix_tl            \l__groupthm_key_suffix_tl
-    \clist_set_eq:NN \l__groupthm_group_clist          \l__groupthm_key_group_clist
-    \clist_set_eq:NN \l__groupthm_mapname_clist        \l__groupthm_key_mapname_clist
-    \clist_set_eq:NN \l__groupthm_thmtools_clist       \l__groupthm_key_thmtools_clist
-  }
-\cs_new:Npn \__groupthm_add_to_group_ordering:n #1
-  {
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { __groupthm/groupsort }
-      \g__groupthm_defined_groups_clist
-      { before }
-      { #1 }
-  }
-\cs_new:Npn \__groupthm_remove_from_group_ordering:n #1
-  {
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { __groupthm/groupsort }
-      \g__groupthm_defined_groups_clist
-      { unrelated }
-      { #1 }
-  }
-\cs_new:Npn \__groupthm_add_to_sort_hook:n #1
-{
-  \hook_gput_code:nnn { __groupthm/groupsort }
-  { #1 }
-  {
-    \clist_put_left:Nn \l__groupthm_group_clist { #1 }
-  }
-}
-\cs_new:Npn \__groupthm_sort_group_names:
-  {
-    \hook_gremove_code:nn { __groupthm/groupsort  }{*}
-    \clist_map_function:NN \l__groupthm_group_clist \__groupthm_add_to_sort_hook:n
-    \clist_clear:N \l__groupthm_group_clist
-    \hook_use:n { __groupthm/groupsort }
-  }
-\cs_new:Npn \__groupthm_define_group:nnnnn #1#2#3#4#5
-  {
-  \cs_new:cpn { __groupthm_use_group__#1: }
-    {
-      \hook_gput_code:nnn { __groupthm/prefix } { #1 }
-        {
-            \tl_put_left:Nx \l__groupthm_prefix_tl { #2 }
-        }
-      \hook_gput_code:nnn { __groupthm/suffix } { #1 }
-        {
-            \tl_put_right:Nx \l__groupthm_suffix_tl { #3 }
-        }
-      \hook_gput_code:nnn { __groupthm/mapname } { #1 }
-        {
-          \clist_put_right:Nn \l__groupthm_mapname_clist { #4 }
-        }
-      \hook_gput_code:nnn { __groupthm/thmtools } { #1 }
-        {
-          \clist_put_right:Nn \l__groupthm_thmtools_clist { #5 }
-        }
-    }
-    \__groupthm_add_to_group_ordering:n { #1 }
-    \clist_new:c { g__groupthm_parents_group__#1__clist }
-    \hook_gset_rule:nnnn { ?? } { all        } { before } { #1 }
-    \hook_gset_rule:nnnn { ?? } { unnumbered } { after  } { #1 }
-    \hook_gset_rule:nnnn { ?? } { starred    } { after  } { #1 }
-    \clist_gput_left:Nn \g__groupthm_defined_groups_clist { #1 }
-  }
-\cs_new:Npn \__groupthm_undefine_group:n #1
-  {
-    \tl_log:n { Undefining ~ theorem ~ group ~ '#1' }
-    \cs_undefine:c { __groupthm_use_group__#1:   }
-    \hook_gremove_code:nn { __groupthm/prefix  } { #1 }
-    \hook_gremove_code:nn { __groupthm/suffix } { #1 }
-    \hook_gremove_code:nn { __groupthm/mapname  } { #1 }
-    \hook_gremove_code:nn { __groupthm/thmtools } { #1 }
-    \clist_gremove_all:Nn  \g__groupthm_defined_groups_clist { #1 }
-    \cs_undefine:c { g__groupthm_parents_group__#1__clist }
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { ?? }
-      \g__groupthm_defined_groups_clist
-      { unrelated }
-      { #1 }
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { __groupthm/prefix }
-      \g__groupthm_defined_groups_clist
-      { unrelated }
-      { #1 }
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { __groupthm/suffix }
-      \g__groupthm_defined_groups_clist
-      { unrelated }
-      { #1 }
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { __groupthm/mapname }
-      \g__groupthm_defined_groups_clist
-      { unrelated }
-      { #1 }
-    \__groupthm_hook_gset_rule_foreach:nNnn
-      { __groupthm/thmtools }
-      \g__groupthm_defined_groups_clist
-      { unrelated }
-      { #1 }
-    \__groupthm_remove_from_group_ordering:n { #1 }
-  }
-\cs_new:Npn \__groupthm_define:nnnNNNn #1 #2 #3 #4 #5 #6 #7
-  {
-    \bool_if:nT
-      {
-        \str_if_eq_p:nn { #1 } { new }
-        &&
-        \cs_if_exist_p:N #4
-      }
-      {
-        \tl_log:n { Wrong ~ 'new' ~ definition ~ of ~ #2 ~ '#3' ~ detected. }
-        \msg_error:nnnnn { groupthm } { wrong ~ definition }
-          { #2 } { #3 } { already }
-      }
-    \bool_if:nT
-      {
-        \str_if_eq_p:nn { #1 } { renew }
-        &&
-        ! \cs_if_exist_p:N #4
-      }
-      {
-        \tl_log:n { Wrong ~ 'renew' ~ definition ~ of ~ #2 ~ '#3' ~ detected. }
-        \msg_error:nnnnn { groupthm } { wrong ~ definition }
-          { #2 } { #3 } { not }
-      }
-    \bool_if:nT
-      {
-        (
-          \str_if_eq_p:nn { #1 } { declare } ||
-          \str_if_eq_p:nn { #1 } { renew }
-        ) &&
-        \cs_if_exist_p:N #4
-      }
-      {
-        \tl_log:n { Removing ~ definition ~ of ~ #2 ~ '#3'. }
-        \tl_log:n { Declarator ~ was ~ #1. }
-        #5 { #3 }
-      }
-    \bool_if:nTF
-      {
-        \cs_if_exist_p:N #4
-        &&
-        \str_if_eq_p:nn { #1 } { provide }
-      }
-      {
-        \tl_log:n { Providing ~ #2 ~ '#3' ~ skipped: ~ '#3' ~ already ~ defined. }
-      }
-      {
-        \tl_log:n { Defining ~ #2 ~ '#3'. }
-        #6 #7
-      }
-  }
-\cs_generate_variant:Nn \__groupthm_define:nnnNNNn { n n n c N N n }
-\cs_new:Npn \__groupthm_define_multiple:nnnNNnn #1 #2 #3 #4 #5 #6 #7
-  {
-    \cs_set:Npn \__groupthm_map_aux:n ##1
-      {
-        \cs_new:cn { #6 }
-          {
-            \__groupthm_define:nnncNNn
-              { ##1 }
-              { #2 }
-              { ####1 }
-              { #3 }
-              #4
-              #5
-              { #7 }
-          }
-      }
-    \clist_map_function:nN { #1 } \__groupthm_map_aux:n
-  }
-\__groupthm_define_multiple:nnnNNnn
-  { new, renew, provide, declare }
-  { theorem group }
-  { __groupthm_use_group__##1: }
-  \__groupthm_undefine_group:n
-  \__groupthm_define_group:nnnnn
-  { groupthm_#1_group:nnnnn }
-  { { ##1 } { ##2 } { ##3 } { ##4 } { ##5 } }
-\cs_generate_variant:Nn \groupthm_new_group:nnnnn     { n V V V V }
-\cs_generate_variant:Nn \groupthm_renew_group:nnnnn   { n V V V V }
-\cs_generate_variant:Nn \groupthm_provide_group:nnnnn { n V V V V }
-\cs_generate_variant:Nn \groupthm_declare_group:nnnnn { n V V V V }
-\cs_new:Npn \__groupthm_wrap_multiple:nnn #1 #2 #3
-  {
-    \cs_set:Npn \__groupthm_map_aux:n ##1
-      {
-        \cs_new:cn { #2 }
-          {
-            #3
-          }
-      }
-    \clist_map_function:nN { #1 } \__groupthm_map_aux:n
-  }
-\__groupthm_wrap_multiple:nnn
-  { new, renew, provide, declare }
-  { groupthm_#1_group:nn }
-  {
-    \__groupthm_set_normalized_keys:nnn { ##1 } { theorem ~ group } { ##2 }
-    \use:c { groupthm_#1_group:nVVVV }
-      { ##2 }
-      \l__groupthm_prefix_tl
-      \l__groupthm_suffix_tl
-      \l__groupthm_mapname_clist
-      \l__groupthm_thmtools_clist
-  }
-\cs_generate_variant:Nn \groupthm_new_group:nn { n x }
-\cs_new:Npn \__groupthm_new_document_command:Nnn #1 #2 #3
-  {
-    \NewDocumentCommand { #1 } { #2 } { #3 }
-  }
-\cs_generate_variant:Nn \__groupthm_new_document_command:Nnn { c n n }
-\cs_new:Npn \__groupthm_wrap_multiple_document:nnnn #1 #2 #3 #4
-  {
-    \cs_set:Npn \__groupthm_map_aux:n ##1
-      {
-        \cs_set:Nn \__groupthm_Declarator: { \text_titlecase_first:n { ##1 } }
-        \__groupthm_new_document_command:cnn { #2 } { #3 } { #4 }
-      }
-    \clist_map_function:nN { #1 } \__groupthm_map_aux:n
-  }
-\__groupthm_wrap_multiple_document:nnnn
-  { new, renew, provide, declare }
-  { \__groupthm_Declarator: TheoremGroup }
-  { O{} m }
-  {
-    \use:c { groupthm_#1 _group:nn } { ##1 } { ##2 }
-  }
-\cs_new:Npn \groupthm_declare_group_rule:nnnn #1 #2 #3 #4
-  {
-    \str_set:Nx \l_tmpa_str { \tl_trim_spaces:n { #3 } }
-    \str_if_eq:VnT \l_tmpa_str { higher }
-      {
-        \str_set:Nn \l_tmpa_str { after }
-      }
-    \str_if_eq:VnT \l_tmpa_str { lower }
-      {
-        \str_set:Nn \l_tmpa_str { before }
-      }
-    \str_if_eq:nnTF { #1 } { ?? }
-      {
-        \hook_gset_rule:nnVn {??} {#2} \l_tmpa_str {#4}
-      }
-      {
-        \hook_gset_rule:nnVn { __groupthm / #1 } {#2} \l_tmpa_str {#4}
-      }
-  }
-\cs_generate_variant:Nn \groupthm_declare_group_rule:nnnn { n n n x }
-\NewDocumentCommand { \DeclareTheoremGroupRule } { O{??} m m m }
-  {
-    \groupthm_declare_group_rule:nnnn {#1} {#2} {#3} {#4}
-  }
-\cs_new:Npn \groupthm_add_parent:nn #1 #2
-  {
-    \__groupthm_ensure_group_exists:n { #1 }
-    \__groupthm_ensure_group_exists:n { #2 }
-    \clist_gput_left:cn { g__groupthm_parents_group__#1__clist } { #2 }
-  }
-\cs_generate_variant:Nn \groupthm_add_parent:nn { n x }
-\NewDocumentCommand { \AddTheoremGroupParent } { m m }
-  {
-    \groupthm_add_parent:nn { #1 } { #2 }
-  }
-\cs_new:Npn \__groupthm_push_tmpa_seq:n #1
-  {
-    \seq_push:Nn \l_tmpa_seq { #1 }
-  }
-\cs_new:Npn \__groupthm_flatten_groups_hierarchy:nN #1 #2
-  {
-    \clist_clear:N #2
-    \seq_set_from_clist:Nn \l_tmpa_seq { #1 }
-    \bool_until_do:nn
-      {
-        \seq_if_empty_p:N \l_tmpa_seq
-      }
-      {
-        \seq_pop:NN \l_tmpa_seq \l_tmpa_tl
-        \__groupthm_ensure_group_exists:V \l_tmpa_tl
-        \clist_if_in:NVF #2 \l_tmpa_tl
-          {
-            \clist_put_left:NV #2 \l_tmpa_tl
-            \clist_map_function:cN
-              { g__groupthm_parents_group__ \l_tmpa_tl __clist }
-              \__groupthm_push_tmpa_seq:n
-          }
-      }
-  }
-\cs_new:Npn \groupthm_append_to_group:nn #1 #2
-  {
-    \groupthm_new_group:nx  { #1 } { __append__ \int_use:N \g__groupthm_append_groups_int }
-    \groupthm_add_parent:nx { #2 } { __append__ \int_use:N \g__groupthm_append_groups_int }
-    \groupthm_declare_group_rule:nnnx
-      { ?? } { #2 } { before } { __append__ \int_use:N \g__groupthm_append_groups_int }
-    \int_gincr:N \g__groupthm_append_groups_int
-  }
-\NewDocumentCommand { \AppendToTheoremGroup } { O{} m }
-  {
-    \groupthm_append_to_group:nn { #1 } { #2 }
-  }
-\groupthm_new_group:nnnnn { all        } { } { } { } {               }
-\groupthm_new_group:nnnnn { starred    } { } { } { } { numbered = no }
-\groupthm_new_group:nnnnn { unnumbered } { } { } { } { numbered = no }
-\clist_new:N  \l__powerset_copied_clist
-\seq_new:N    \l__powerset_saved_seq
-\cs_generate_variant:Nn \clist_remove_all:Nn { N V }
-\cs_new:Npn \__powerset_clist_foreach_aux:Nn #1 #2
-  {
-    \clist_if_empty:NTF \l__powerset_copied_clist
-      {
-        #2
-      }
-      {
-        \clist_get:NN \l__powerset_copied_clist \l_tmpa_tl
-        \seq_push:NV  \l__powerset_saved_seq \l_tmpa_tl
-        \clist_pop:NN \l__powerset_copied_clist { \l_tmpa_tl }
-        \__powerset_clist_foreach_aux:Nn #1 {#2}
-        \seq_get:NN \l__powerset_saved_seq \l_tmpa_tl
-        \clist_put_left:NV #1 \l_tmpa_tl
-        \__powerset_clist_foreach_aux:Nn #1 {#2}
-        \seq_get:NN \l__powerset_saved_seq \l_tmpa_tl
-        \clist_remove_all:NV #1 \l_tmpa_tl
-        \clist_push:NV \l__powerset_copied_clist \l_tmpa_tl
-        \seq_pop:NN \l__powerset_saved_seq \l_tmpa_tl
-      }
-  }
-\cs_new:Npn \powerset_clist_foreach:Nn #1 #2
-  {
-    \clist_set_eq:NN \l__powerset_copied_clist #1
-    \clist_clear:N #1
-    \clist_remove_duplicates:N \l__powerset_copied_clist
-    \__powerset_clist_foreach_aux:Nn #1 {#2}
-    \clist_set_eq:NN #1 \l__powerset_copied_clist
-  }
-\cs_new:Npn \__groupthm_ensure_group_exists:n #1
-  {
-    \cs_if_exist:cF { __groupthm_use_group__#1: }
-    {
-      \msg_error:nnn { groupthm } { unknown ~ group } { #1 }
-    }
-  }
-\cs_generate_variant:Nn \__groupthm_ensure_group_exists:n { V }
-\cs_new:Npn \__groupthm_use_group:n #1
-  {
-    \__groupthm_ensure_group_exists:n { #1 }
-    \use:c { __groupthm_use_group__#1: }
-  }
-\cs_new:Npn \__groupthm_use_function_on_name:n #1
-  {
-    \tl_set:Nx \l__groupthm_name_tl
-      {
-        #1 { \tl_use:N \l__groupthm_name_tl }
-      }
-  }
-\cs_new:Npn \__groupthm_define_theorem:nnnn #1 #2 #3 #4
-  {
-    \tl_clear:N     \l__groupthm_prefix_tl
-    \tl_set:Nn      \l__groupthm_name_tl        { #3 }
-    \tl_clear:N     \l__groupthm_suffix_tl
-    \clist_clear:N  \l__groupthm_mapname_clist
-    \clist_clear:N  \l__groupthm_thmtools_clist
-    \hook_gremove_code:nn { __groupthm/prefix  }{*}
-    \hook_gremove_code:nn { __groupthm/suffix }{*}
-    \hook_gremove_code:nn { __groupthm/mapname  }{*}
-    \hook_gremove_code:nn { __groupthm/thmtools }{*}
-    \__groupthm_flatten_groups_hierarchy:nN { #2, all } \l__groupthm_group_clist
-    \clist_map_function:NN \l__groupthm_group_clist \__groupthm_use_group:n
-    \tl_log:x { Flattened ~ groups ~ '#2' ~ to ~ '\clist_use:Nn \l__groupthm_group_clist {,}' ~ when ~
-                defining ~ theorem ~ '#1' }
-    \hook_use:n { __groupthm/prefix }
-    \hook_use:n { __groupthm/suffix }
-    \hook_use:n { __groupthm/mapname }
-    \hook_use:n { __groupthm/thmtools }
-    \clist_map_function:NN \l__groupthm_mapname_clist \map_use_on_name:n
-    \tl_set:Nn       \l_tmpa_tl { name = }
-    \tl_put_right:NV \l_tmpa_tl \l__groupthm_prefix_tl
-    \tl_put_right:NV \l_tmpa_tl \l__groupthm_name_tl
-    \tl_put_right:NV \l_tmpa_tl \l__groupthm_suffix_tl
-    \clist_put_right:NV \l__groupthm_thmtools_clist \l_tmpa_tl
-    \clist_put_right:Nn \l__groupthm_thmtools_clist { #4 }
-    \__groupthm_thmtools_declare_theorem:Vn
-      \l__groupthm_thmtools_clist
-      { #1 }
-  }
-\__groupthm_define_multiple:nnnNNnn
-  { new, provide }
-  { grouped ~ theorem }
-  { ##1 }
-  \__groupthm_error:
-  \__groupthm_define_theorem:nnnn
-  { groupthm_#1_theorem:nnnn }
-  { { ##1 } { ##2 } { ##3 } { ##4 } }
-\cs_generate_variant:Nn \groupthm_new_theorem:nnnn     { n V V V }
-\cs_generate_variant:Nn \groupthm_provide_theorem:nnnn { n V V V }
-\cs_generate_variant:Nn \groupthm_new_theorem:nnnn     { x V n n }
-\cs_generate_variant:Nn \groupthm_provide_theorem:nnnn { x V n n }
-\__groupthm_wrap_multiple:nnn
-  { new, provide }
-  { groupthm_#1_theorem:nnn }
-  {
-    \__groupthm_set_normalized_keys:nnn { ##1 } { grouped ~ theorem } { ##2 }
-    \bool_if:nT { ##3 }
-      {
-        \clist_put_left:Nn \l__groupthm_group_clist { unnumbered }
-      }
-    \use:c { groupthm_#1_theorem:nVVV }
-      { ##2 }
-      \l__groupthm_group_clist
-      \l__groupthm_name_tl
-      \l__groupthm_thmtools_clist
-    \bool_if:NT \l__groupthm_starred_version_bool
-      {
-        \clist_put_left:Nn \l__groupthm_group_clist { starred }
-        \use:c { groupthm_#1_theorem:nVVV }
-          { ##2* }
-          \l__groupthm_group_clist
-          \l__groupthm_name_tl
-          \l__groupthm_thmtools_clist
-      }
-  }
-\__groupthm_wrap_multiple_document:nnnn
-  { new, provide }
-  { \__groupthm_Declarator: GroupedTheorem }
-  { s O{} m }
-  {
-    \use:c { groupthm_#1_theorem:nnn }
-      { ##2 }
-      { ##3 }
-      { ##1 }
-  }
-\cs_new:Npn \__groupthm_define_family:nnnnn #1 #2 #3 #4 #5
-  {
-    \clist_set:Nn \l_tmpa_clist { #2 }
-    \powerset_clist_foreach:Nn \l_tmpa_clist
-      {
-        \clist_set_eq:NN \l__groupthm_group_clist \l_tmpa_clist
-        \clist_put_right:Nn \l__groupthm_group_clist { #5 }
-        \__groupthm_sort_group_names:
-        \use:c{groupthm_new_theorem:xVnn}
-          {__#1__groups_\clist_use:Nn \l__groupthm_group_clist {_}}
-          \l__groupthm_group_clist
-          { #3 }
-          { #4 }
-      }
-    \clist_new:c { __groupthm_family__#1__group_clist }
-    \clist_set_eq:cN {__groupthm_family__#1__group_clist } \l_tmpa_clist
-    \clist_new:c { __groupthm_family__#1__always_group_clist }
-    \clist_set:cn {__groupthm_family__#1__always_group_clist } { #5 }
-  }
-\__groupthm_define_multiple:nnnNNnn
-  { new, provide }
-  { theorem ~ family }
-  { __groupthm_family__##1__group_clist }
-  \__groupthm_error:
-  \__groupthm_define_family:nnnnn
-  { groupthm_#1_family:nnnnn }
-  { { ##1 } { ##2 } { ##3 } { ##4 } { ##5 }}
-\cs_generate_variant:Nn \groupthm_new_family:nnnnn     { n V V V V }
-\cs_generate_variant:Nn \groupthm_provide_family:nnnnn { n V V V V }
-\__groupthm_wrap_multiple:nnn
-{ new, provide }
-{ groupthm_#1_family:nnn }
-{
-  \__groupthm_set_normalized_keys:nnn { ##1 } { theorem ~ family } { ##2 }
-  \bool_if:nTF { ##3}
-    {
-      \clist_set:Nn \l_tmpa_clist { unnumbered }
-    }
-    {
-      \clist_clear:N \l_tmpa_clist
-    }
-  \bool_if:NT \l__groupthm_starred_version_bool
-    {
-      \clist_put_left:Nn \l__groupthm_group_clist { starred }
-    }
-  \use:c { groupthm_#1_family:nVVVV }
-    { ##2 }
-    \l__groupthm_group_clist
-    \l__groupthm_name_tl
-    \l__groupthm_thmtools_clist
-    \l_tmpa_clist
-}
-\__groupthm_wrap_multiple_document:nnnn
-  { new, provide }
-  { \__groupthm_Declarator: GroupedTheoremFamily }
-  { s O{} m }
-  {
-    \use:c { groupthm_#1_family:nnn }
-      { ##2 }
-      { ##3 }
-      { ##1 }
-  }
-\cs_new:Npn \groupthm_add_theorem_to_group:n #1
-  {
-    \bool_if:NTF \l__groupthm_in_family_options_environment_bool
-      {
-        \clist_put_left:Nn \l__groupthm_group_clist { #1 }
-      }
-      {
-        \msg_error:nn { groupthm } { misuse ~ add ~ theorem ~ to ~ group }
-      }
-  }
-  \NewDocumentCommand { \AddTheoremToGroup } { m }
-  {
-    \groupthm_add_theorem_to_group:n { #1 }
-  }
-\cs_new:Npn \__groupthm_define_family_options:nnnn #1 #2 #3 #4
-  {
-    \DeclareDocumentEnvironment
-      { #1 }
-      { #2 }
-      {
-        \clist_clear:N \l__groupthm_group_clist
-        \bool_set_true:N \l__groupthm_in_family_options_environment_bool
-        #3
-        \bool_set_false:N \l__groupthm_in_family_options_environment_bool
-        \clist_put_right:Nn \l__groupthm_group_clist { #4 }
-        \__groupthm_sort_group_names:
-        \cs_if_exist:cTF { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } }
-        {
-          \begin { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } }
-        }
-        {
-          \msg_error:nnxx { groupthm } { undefined ~ theorem ~ variant }
-            { #1 }
-            { \clist_use:Nnnn \l__groupthm_group_clist { ~ and ~ } {, ~} { , ~ and ~ } }
-        }
-      }
-      {
-        \clist_clear:N \l__groupthm_group_clist
-        \bool_set_true:N \l__groupthm_in_family_options_environment_bool
-        #3
-        \bool_set_false:N \l__groupthm_in_family_options_environment_bool
-        \clist_put_right:Nn \l__groupthm_group_clist { #4 }
-        \__groupthm_sort_group_names:
-        \end { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } }
-      }
-  }
-\__groupthm_define_multiple:nnnNNnn
-  { new, renew, provide, declare }
-  { theorem ~ family ~ options }
-  { ##1 }
-  \use_none:n
-  \__groupthm_define_family_options:nnnn
-  { groupthm_#1_family_options:nnnn }
-  { { ##1 } { ##2 } { ##3 } { ##4 } }
-\cs_generate_variant:Nn \groupthm_new_family_options:nnnn { n n n V }
-\cs_generate_variant:Nn \groupthm_renew_family_options:nnnn { n n n V }
-\cs_generate_variant:Nn \groupthm_provide_family_options:nnnn { n n n V }
-\cs_generate_variant:Nn \groupthm_declare_family_options:nnnn { n n n V }
-\__groupthm_wrap_multiple_document:nnnn
-  { new, renew, provide, declare }
-  { \__groupthm_Declarator: GroupedTheoremFamilyOptions }
-  { s O{} m m m }
-  {
-    \keys_set:nn { groupthm / theorem ~ family ~ options } { starred ~ version }
-    \keys_set:nn { groupthm / theorem ~ family ~ options } { ##2 }
-    \bool_if:nTF { ##1 }
-      {
-        \clist_set:Nn \l_tmpa_clist { unnumbered }
-      }
-      {
-        \clist_clear:N \l_tmpa_clist
-      }
-   \use:c { groupthm_#1_family_options:nnnV }
-     { ##3 }
-     { ##4 }
-     { ##5 }
-     \l_tmpa_clist
-   \bool_if:NT \l__groupthm_starred_version_bool
-     {
-       \use:c { groupthm_#1_family_options:nnnV }
-         { ##3* }
-         { ##4 }
-         {
-           ##5
-           \groupthm_add_theorem_to_group:n { starred }
-         }
-         \l_tmpa_clist
-     }
-  }
-\endinput
-%%
-%% End of file `groupthm.sty'.
diff --git a/src/environments/groupthm/groupthm.toc b/src/environments/groupthm/groupthm.toc
deleted file mode 100644
index 7b15ccf..0000000
--- a/src/environments/groupthm/groupthm.toc
+++ /dev/null
@@ -1,28 +0,0 @@
-\contentsline {section}{\numberline {1}Concepts}{3}{section.0.1}%
-\contentsline {subsection}{\numberline {1.1}Theorem groups}{3}{subsection.0.1.1}%
-\contentsline {subsection}{\numberline {1.2}Grouped theorems}{3}{subsection.0.1.2}%
-\contentsline {subsection}{\numberline {1.3}Theorem families}{3}{subsection.0.1.3}%
-\contentsline {subsection}{\numberline {1.4}General notions}{4}{subsection.0.1.4}%
-\contentsline {section}{\numberline {2}Theorem groups}{5}{section.0.2}%
-\contentsline {subsection}{\numberline {2.1}Defining theorem groups}{5}{subsection.0.2.1}%
-\contentsline {subsection}{\numberline {2.2}Controlling theorem group precedence}{6}{subsection.0.2.2}%
-\contentsline {subsection}{\numberline {2.3}Inheritance of theorem groups}{6}{subsection.0.2.3}%
-\contentsline {subsection}{\numberline {2.4}Appending to theorem groups}{7}{subsection.0.2.4}%
-\contentsline {subsection}{\numberline {2.5}Default theorem groups}{7}{subsection.0.2.5}%
-\contentsline {section}{\numberline {3}Grouped Theorems}{8}{section.0.3}%
-\contentsline {subsection}{\numberline {3.1}Defining grouped theorems}{8}{subsection.0.3.1}%
-\contentsline {subsection}{\numberline {3.2}Defining families of grouped theorems}{9}{subsection.0.3.2}%
-\contentsline {section}{\numberline {4}\LaTeX 3 interface}{10}{section.0.4}%
-\contentsline {subsection}{\numberline {4.1}Theorem groups}{11}{subsection.0.4.1}%
-\contentsline {subsection}{\numberline {4.2}Grouped theorems}{11}{subsection.0.4.2}%
-\contentsline {subsection}{\numberline {4.3}Theorem families}{12}{subsection.0.4.3}%
-\contentsline {section}{\numberline {5}\pkg {groupthm} implementation}{12}{section.0.5}%
-\contentsline {subsection}{\numberline {5.1}Dependencies}{12}{subsection.0.5.1}%
-\contentsline {subsection}{\numberline {5.2}Messages}{13}{subsection.0.5.2}%
-\contentsline {subsection}{\numberline {5.3}Allocation and initialization}{14}{subsection.0.5.3}%
-\contentsline {subsection}{\numberline {5.4}Key interface}{15}{subsection.0.5.4}%
-\contentsline {subsection}{\numberline {5.5}Theorem groups}{17}{subsection.0.5.5}%
-\contentsline {subsection}{\numberline {5.6}Iterating over powersets}{27}{subsection.0.5.6}%
-\contentsline {subsection}{\numberline {5.7}Grouped Theorems}{28}{subsection.0.5.7}%
-\contentsline {subsection}{\numberline {5.8}Theorem families}{31}{subsection.0.5.8}%
-\contentsline {subsection}{\numberline {5.9}Theorem family options}{33}{subsection.0.5.9}%