Commit ee19de9b authored by Michael Kohlhase's avatar Michael Kohlhase

drining

parent c7b6c544
\begin{mhmodnl}[creators=Jinbo]{multiset}{en}
\begin{definition}[id=multiset.def]
A \defi{multiset} is a generalization of the concept of a \trefi[set]{set} that
\trefi{multiset} allows multiple instances for every element.
A \defi{multiset} (also called a \defi[name=multiset]{bag}) is a generalization of the
concept of a \trefi[set]{set} that \trefi{multiset} allows multiple instances for every
element.
\end{definition}
\begin{definition}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment