как использовать tcolorbox в теоремах, определениях и упражнениях

#latex

#Латекс

Вопрос:

Я пишу математический модуль с теоремами и определениями в tcolorboxes. Используя документ tcolorbox в пакете tcolorbox, я могу писать теоремы и определения, но у меня проблема с упражнениями. В документе неясно, как настроить среду упражнений. Ниже приведен мой mwe с частями 1, которые работают для теорем и определений, и частью 3 (для упражнений), которая не работает. Я был бы признателен за изменение преамбулы, чтобы среда упражнений работала.

 documentclass[11pt,twoside,fleqn]{report}
usepackage[listings]{tcolorbox}

tcbuselibrary{listings,theorems}
newtcbtheorem[number within=section]{mytheo}{Theorem}%
{colback=green!5,colframe=green!35!black,fonttitle=bfseries}{th}

usepackage{cleveref}
tcbset{
defstyle/.style={fonttitle=bfseriesupshape, fontupper=slshape,
arc=0mm, colback=blue!5!white,colframe=blue!75!black},
theostyle/.style={fonttitle=bfseriesupshape, fontupper=slshape,
colback=red!10!white,colframe=red!75!black},
}
newtcbtheorem[number within=subsection,crefname={definition}
{definitions}]%
newtcbtheorem[number within=subsection,crefname={definition}
{definitions}]%

{Definition}{Definition}{defstyle}{def}
newtcbtheorem[use counter from=Definition,crefname={theorem}{theorems}]%
{Theorem}{Theorem}{theostyle}{theo}
newtcbtheorem[use counter from=Definition,crefname={corollary}
{corollaries}]%
{Corollary}{Corollary}{theostyle}{cor}
  

Преамбула отсюда не работает (неопределенная последовательность управления)

 NewTColorBox[auto counter,number within=section]{exercise}{ O{}}{%
enhanced,colframe=green!20!black,colback=yellow!10!white,coltitle=green!40!black,
fonttitle=bfseries,
underlay={begin{tcbclipinterior}
shade[inner color=green!80!yellow,outer color=yellow!10!white]
(interior.north west) circle (2cm);
draw[help lines,step=5mm,yellow!80!black,shift={(interior.north west)}]
(interior.south west) grid (interior.north east);
end{tcbclipinterior}},
title={Exercise~thetcbcounter:},
label={exercise@thetcbcounter},
attach title to upper=quad,
after upper={parhfilltextcolor{green!40!black}%
{itshape Solution on page~pageref{solution@thetcbcounter}}},
lowerbox=ignored,
savelowerto=solutions/exercise-thetcbcounter.tex,
record={stringsolution{thetcbcounter}{solutions/exercise-thetcbcounter.tex}},

record={stringsolution{thetcbcounter}{solutions/exercise-thetcbcounter.tex}},#1
}
NewTotalTColorBox{solution}{mm}{%
enhanced,colframe=red!20!black,colback=yellow!10!white,coltitle=red!40!black,
fonttitle=bfseries,
underlay={begin{tcbclipinterior}
shade[inner color=red!50!yellow,outer color=yellow!10!white]
(interior.north west) circle (2cm);
draw[help lines,step=5mm,yellow!80!black,shift={(interior.north west)}]
(interior.south west) grid (interior.north east);
end{tcbclipinterior}},
title={Solution of Exercise~ref{exercise@#1} on 
page~pageref{exercise@#1}:},
phantomlabel={solution@#1},
attach title to upper=par,
}{input{#2}}
tcbset{no solution/.style={no recording,after upper=}}
tcbstartrecording

begin{document}
begin{mytheo}{}{theoexample}
begin{enumerate}
item $(A B) C=A (B C)$
item $A 0=A$
item $A (-A)=0$
item $A B=B A$
item $k_1(A B)=k_1A k_1B$
item $(k_1 k_2)A=K_1A K_2A$
item $(k_1k_2)A=k_1(k_2A)$
item $1A=A$quad andquad $0A=0$
end{enumerate}
end{mytheo}

begin{Definition}{Differenzierbarkeit}{diffbarkeit}
An n-tuple $displaystyle (x_1, x_2, dots, x_n)$ which satisfies each of
the m equations in the system is called a solution of the system. Two 
systems of equations are $textbf{equivalent}$ if every solution of one 
system is a solution of the other system and vice versa. A system of linear
equations is called a $textbf{homogeneous system}$ if $displaystyle 
b_i=0(i=1, 2, dots, m)$. A system with at least one solution is called a
 $textbf{consistent system}$. The solution $displaystyle (0, 0, dots,
0)$ of a homogeneous system is called the $textbf{trivial solution}$.
end{Definition}
  

Приведенная ниже часть не работает

 begin{exercise}
Find the inverse of $A=begin{pmatrix*}[r]
2 amp; 5\
1 amp; 3
 end{pmatrix*}$
tcblower
We seek a matrix $B=begin{pmatrix*}[r]
a amp; b\
c amp; d
end{pmatrix*}$ such that $AB=begin{pmatrix*}[r]
2 amp; 5\
1 amp; 3\
end{pmatrix*}begin{pmatrix*}[r]
a amp; b\
c amp; d
end{pmatrix*} =begin{pmatrix*}[r]
1 amp; 0\
0 amp; 1
end{pmatrix*}$par
 $AB=begin{pmatrix*}[r]
2a 5c amp; 2b 5d\
a 3c amp; b 3d
end{pmatrix*}$=$begin{pmatrix*}[r]
1 amp; 0\
0 amp; 1
end{pmatrix*}$hspace{10pt} i.e
systeme{2a 5c=1,a 3c=0}hspace{1ex}systeme{2b 5d=0,b 3d=1}\
Solving for a, b, c, d gives $B=A^{-1}=begin{pmatrix*}[r]
3 amp; -5\
-1 amp; 1\
end{pmatrix*}$
 end{exercise}
end{document}
  

В равной степени я был бы признателен, если у кого-нибудь есть рабочий пример упражнений в tcolorbox, который я мог бы адаптировать.