Maximilian Keßler
70ddae2307
new macro carries out all four definitions at once rename all groupthm_new_theorem_group... macros into groupthm_new_group... |
||
---|---|---|
.. | ||
groupthm |
Maximilian Keßler
70ddae2307
new macro carries out all four definitions at once rename all groupthm_new_theorem_group... macros into groupthm_new_group... |
||
---|---|---|
.. | ||
groupthm |