reduce test
This commit is contained in:
parent
b663c78c91
commit
4fb0894674
1 changed files with 1 additions and 43 deletions
|
@ -8,35 +8,7 @@
|
||||||
|
|
||||||
\usepackage{mkessler-groupthm}
|
\usepackage{mkessler-groupthm}
|
||||||
|
|
||||||
\DeclareTheoremGroupRule {dagger}{before}{star}
|
|
||||||
\DeclareTheoremGroupRule {starred}{higher}{dagger}
|
|
||||||
|
|
||||||
\NewGroupedTheorem
|
|
||||||
[
|
|
||||||
group = {big, starred, dagger}
|
|
||||||
]{dlemma}
|
|
||||||
|
|
||||||
\NewGroupedTheorem
|
|
||||||
[
|
|
||||||
group = {big, star}
|
|
||||||
]{slemma}
|
|
||||||
|
|
||||||
\NewGroupedTheorem
|
|
||||||
[
|
|
||||||
group = {big},
|
|
||||||
% thmtools = {sibling = insection}
|
|
||||||
]{lemma}
|
|
||||||
|
|
||||||
\NewGroupedTheorem
|
|
||||||
[
|
|
||||||
name=Proposition, group = {dagger}
|
|
||||||
]{dproposition}
|
|
||||||
|
|
||||||
\NewGroupedTheorem
|
|
||||||
[
|
|
||||||
name=Proposition,
|
|
||||||
group = {star}
|
|
||||||
]{sproposition}
|
|
||||||
|
|
||||||
\NewGroupedTheorem
|
\NewGroupedTheorem
|
||||||
[
|
[
|
||||||
|
@ -61,20 +33,6 @@ group = {dagger, star}
|
||||||
\begin{document}
|
\begin{document}
|
||||||
|
|
||||||
|
|
||||||
\b{hi}
|
|
||||||
|
|
||||||
\begin{dlemma}
|
|
||||||
|
|
||||||
\end{dlemma}
|
|
||||||
%\begin{__example__groups_dagger_star}
|
|
||||||
test
|
|
||||||
%\end{__example__groups_dagger_star}
|
|
||||||
|
|
||||||
\def\ex{__example__groups_}
|
|
||||||
|
|
||||||
%\ShowHook{groupthm/groupsort}
|
|
||||||
|
|
||||||
|
|
||||||
\begin{example}
|
\begin{example}
|
||||||
test
|
test
|
||||||
\end{example}
|
\end{example}
|
||||||
|
|
Loading…
Reference in a new issue