2022-02-03 13:11:13 +01:00
\documentclass { minimal}
2022-02-03 12:59:21 +01:00
\usepackage { l3benchmark}
2022-02-03 13:11:13 +01:00
\usepackage [generate defaults = false] { fancythm}
2022-02-03 12:59:21 +01:00
\ExplSyntaxOn
2022-02-03 13:11:13 +01:00
\iow _ new:N \l _ my_ iow
2022-02-03 13:49:52 +01:00
\iow _ open:Nn \l _ my_ iow { dump2.txt }
2022-02-03 12:59:21 +01:00
\tl _ put_ right:Nn \l _ tmpa_ tl
{
2022-02-03 13:49:52 +01:00
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Assumption} } { _ _ assumption_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Exercise} } { _ _ exercise_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Goal} } { _ _ goal_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Idea} } { _ _ idea_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Info} } { _ _ info_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Intuition} } { _ _ intuition_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Note} } { _ _ note_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Observe} } { _ _ observe_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Problem} } { _ _ problem_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Property} } { _ _ property_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Recall} } { _ _ recall_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Reminder} } { _ _ reminder_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Strategy} } { _ _ strategy_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Variant} } { _ _ variant_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Warning} } { _ _ warning_ _ groups_ tiny}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Abuse of Notation} ,style=thmvioletmargin} { _ _ abuse_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Fact} ,style=thmredmargin} { _ _ fact_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Notation} ,style=thmvioletmargin} { _ _ notation_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Oral remark} ,style=thmyellowmargin} { _ _ oral_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Orga} ,style=thmblackmargin} { _ _ orga_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Praise} ,style=thmgoldmargin} { _ _ praise_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Question} ,style=thmblackmarginandfill} { _ _ question_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Remark} ,style=thmyellowmargin} { _ _ remark_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Trivial Nonsense} ,style=thmyellowmargin} { _ _ trivial_ _ groups_ small}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Assumption} $ ^ { \dagger } $ } { _ _ assumption_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Assumption} *$ ^ { \dagger } $ } { _ _ assumption_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Assumption} *} { _ _ assumption_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Exercise} $ ^ { \dagger } $ } { _ _ exercise_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Exercise} *$ ^ { \dagger } $ } { _ _ exercise_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Exercise} *} { _ _ exercise_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Goal} $ ^ { \dagger } $ } { _ _ goal_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Goal} *$ ^ { \dagger } $ } { _ _ goal_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Goal} *} { _ _ goal_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Idea} $ ^ { \dagger } $ } { _ _ idea_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Idea} *$ ^ { \dagger } $ } { _ _ idea_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Idea} *} { _ _ idea_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Info} $ ^ { \dagger } $ } { _ _ info_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Info} *$ ^ { \dagger } $ } { _ _ info_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Info} *} { _ _ info_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Intuition} $ ^ { \dagger } $ } { _ _ intuition_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Intuition} *$ ^ { \dagger } $ } { _ _ intuition_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Intuition} *} { _ _ intuition_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Note} $ ^ { \dagger } $ } { _ _ note_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Note} *$ ^ { \dagger } $ } { _ _ note_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Note} *} { _ _ note_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Observe} $ ^ { \dagger } $ } { _ _ observe_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Observe} *$ ^ { \dagger } $ } { _ _ observe_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Observe} *} { _ _ observe_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Problem} $ ^ { \dagger } $ } { _ _ problem_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Problem} *$ ^ { \dagger } $ } { _ _ problem_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Problem} *} { _ _ problem_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Property} $ ^ { \dagger } $ } { _ _ property_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Property} *$ ^ { \dagger } $ } { _ _ property_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Property} *} { _ _ property_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Recall} $ ^ { \dagger } $ } { _ _ recall_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Recall} *$ ^ { \dagger } $ } { _ _ recall_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Recall} *} { _ _ recall_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Reminder} $ ^ { \dagger } $ } { _ _ reminder_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Reminder} *$ ^ { \dagger } $ } { _ _ reminder_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Reminder} *} { _ _ reminder_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Strategy} $ ^ { \dagger } $ } { _ _ strategy_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Strategy} *$ ^ { \dagger } $ } { _ _ strategy_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Strategy} *} { _ _ strategy_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Variant} $ ^ { \dagger } $ } { _ _ variant_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Variant} *$ ^ { \dagger } $ } { _ _ variant_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Variant} *} { _ _ variant_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Warning} $ ^ { \dagger } $ } { _ _ warning_ _ groups_ tiny_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Warning} *$ ^ { \dagger } $ } { _ _ warning_ _ groups_ tiny_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,numbered=no,name=\csname _ _ fancythm_ translate:n\endcsname { Warning} *} { _ _ warning_ _ groups_ tiny_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Abuse of Notation} $ ^ { \dagger } $ ,style=thmvioletmargin} { _ _ abuse_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Abuse of Notation} *$ ^ { \dagger } $ ,style=thmvioletmargin} { _ _ abuse_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Abuse of Notation} *,style=thmvioletmargin} { _ _ abuse_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Fact} $ ^ { \dagger } $ ,style=thmredmargin} { _ _ fact_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Fact} *$ ^ { \dagger } $ ,style=thmredmargin} { _ _ fact_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Fact} *,style=thmredmargin} { _ _ fact_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Notation} $ ^ { \dagger } $ ,style=thmvioletmargin} { _ _ notation_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Notation} *$ ^ { \dagger } $ ,style=thmvioletmargin} { _ _ notation_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Notation} *,style=thmvioletmargin} { _ _ notation_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Oral remark} $ ^ { \dagger } $ ,style=thmyellowmargin} { _ _ oral_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Oral remark} *$ ^ { \dagger } $ ,style=thmyellowmargin} { _ _ oral_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Oral remark} *,style=thmyellowmargin} { _ _ oral_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Orga} $ ^ { \dagger } $ ,style=thmblackmargin} { _ _ orga_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Orga} *$ ^ { \dagger } $ ,style=thmblackmargin} { _ _ orga_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Orga} *,style=thmblackmargin} { _ _ orga_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Praise} $ ^ { \dagger } $ ,style=thmgoldmargin} { _ _ praise_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Praise} *$ ^ { \dagger } $ ,style=thmgoldmargin} { _ _ praise_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Praise} *,style=thmgoldmargin} { _ _ praise_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Question} $ ^ { \dagger } $ ,style=thmblackmarginandfill} { _ _ question_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Question} *$ ^ { \dagger } $ ,style=thmblackmarginandfill} { _ _ question_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Question} *,style=thmblackmarginandfill} { _ _ question_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Remark} $ ^ { \dagger } $ ,style=thmyellowmargin} { _ _ remark_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Remark} *$ ^ { \dagger } $ ,style=thmyellowmargin} { _ _ remark_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Remark} *,style=thmyellowmargin} { _ _ remark_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Trivial Nonsense} $ ^ { \dagger } $ ,style=thmyellowmargin} { _ _ trivial_ _ groups_ small_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Trivial Nonsense} *$ ^ { \dagger } $ ,style=thmyellowmargin} { _ _ trivial_ _ groups_ small_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=sublevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Trivial Nonsense} *,style=thmyellowmargin} { _ _ trivial_ _ groups_ small_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Corollary} ,style=thmredmarginandfill} { _ _ corollary_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Definition} ,style=thmbluemarginandfill} { _ _ definition_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Example} ,style=thmgreenmargin} { _ _ example_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Lemma} ,style=thmorangemarginandfill} { _ _ lemma_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition and Definition} ,style=thmredmarginbluefill} { _ _ propositiondef_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition} ,style=thmredmarginandfill} { _ _ proposition_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem and Definition} ,style=thmredmarginbluefill} { _ _ theoremdef_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem} ,style=thmredmarginandfill} { _ _ theorem_ _ groups_ big}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Corollary} $ ^ { \dagger } $ ,style=thmredmarginandfill} { _ _ corollary_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Corollary} *$ ^ { \dagger } $ ,style=thmredmarginandfill} { _ _ corollary_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Corollary} *,style=thmredmarginandfill} { _ _ corollary_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Definition} $ ^ { \dagger } $ ,style=thmbluemarginandfill} { _ _ definition_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Definition} *$ ^ { \dagger } $ ,style=thmbluemarginandfill} { _ _ definition_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Definition} *,style=thmbluemarginandfill} { _ _ definition_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Example} $ ^ { \dagger } $ ,style=thmgreenmargin} { _ _ example_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Example} *$ ^ { \dagger } $ ,style=thmgreenmargin} { _ _ example_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Example} *,style=thmgreenmargin} { _ _ example_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Lemma} $ ^ { \dagger } $ ,style=thmorangemarginandfill} { _ _ lemma_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Lemma} *$ ^ { \dagger } $ ,style=thmorangemarginandfill} { _ _ lemma_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Lemma} *,style=thmorangemarginandfill} { _ _ lemma_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition and Definition} $ ^ { \dagger } $ ,style=thmredmarginbluefill} { _ _ propositiondef_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition and Definition} *$ ^ { \dagger } $ ,style=thmredmarginbluefill} { _ _ propositiondef_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition and Definition} *,style=thmredmarginbluefill} { _ _ propositiondef_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition} $ ^ { \dagger } $ ,style=thmredmarginandfill} { _ _ proposition_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition} *$ ^ { \dagger } $ ,style=thmredmarginandfill} { _ _ proposition_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Proposition} *,style=thmredmarginandfill} { _ _ proposition_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem and Definition} $ ^ { \dagger } $ ,style=thmredmarginbluefill} { _ _ theoremdef_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem and Definition} *$ ^ { \dagger } $ ,style=thmredmarginbluefill} { _ _ theoremdef_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem and Definition} *,style=thmredmarginbluefill} { _ _ theoremdef_ _ groups_ big_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem} $ ^ { \dagger } $ ,style=thmredmarginandfill} { _ _ theorem_ _ groups_ big_ dagger}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem} *$ ^ { \dagger } $ ,style=thmredmarginandfill} { _ _ theorem_ _ groups_ big_ dagger_ star}
\csname _ _ groupthm_ thmtools_ declare_ theorem:nn\endcsname { sibling=toplevel,sibling=sublevel,name=\csname _ _ fancythm_ translate:n\endcsname { Theorem} *,style=thmredmarginandfill} { _ _ theorem_ _ groups_ big_ star}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { abuse} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { assumption} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { corollary} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { definition} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { example} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { exercise} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { fact} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { goal} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { idea} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { info} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { intuition} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { lemma} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { notation} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { note} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { observe} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { oral} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { orga} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { praise} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { problem} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { property} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { propositiondef} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { proposition} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { question} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { recall} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { remark} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { reminder} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { strategy} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { theoremdef} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { theorem} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { big}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { trivial} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { small}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { variant} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
\csname _ _ groupthm_ define_ family_ options:nnnn\endcsname { warning} { !s!t+} { \IfBooleanT { #1} { \AddTheoremToGroup { star} } \IfBooleanT { #2} { \AddTheoremToGroup { dagger} } } { tiny}
2022-02-03 12:59:21 +01:00
}
2022-02-03 15:04:57 +01:00
\AddToHook { begindocument }
{
2022-02-03 13:49:52 +01:00
\exp _ args:NNV \iow _ now:Nn \l _ my_ iow \l _ tmpa_ tl
\benchmark _ once:n
2022-02-03 12:59:21 +01:00
{
\tl _ use:N \l _ tmpa_ tl
}
2022-02-03 15:04:57 +01:00
}
2022-02-03 12:59:21 +01:00
\ExplSyntaxOff
\begin { document}
\begin { theorem}
bla
\end { theorem}
\begin { trivial} +
bla
\end { trivial}
\end { document}