Closed kohlhase closed 8 years ago
...
\begin{mhmodnl}[creators=miko]{polynomial}{de} \begin{definition} \definiendum[name=coefficient,lemma=Koeffizient]{Koeffizienten} aus $R$ konstruiert \end{definition} \end{mhmodnl}
not terribly urgent (I have eliminated all occurrences from MathHub), but should be fixed at some point.
...
not terribly urgent (I have eliminated all occurrences from MathHub), but should be fixed at some point.