Open kohlhase opened 1 month ago
both if there is a def=todo in the \symdef or a \definiens in the {definition}.
def=todo
\symdef
\definiens
{definition}
both if there is a
def=todo
in the\symdef
or a\definiens
in the{definition}
.