Step
*
of Lemma
mset_qinc
∀s:DSet. ((|s| List) ⊆r MSet{s})
BY
{ Auto }
Latex:
Latex:
\mforall{}s:DSet.  ((|s|  List)  \msubseteq{}r  MSet\{s\})
By
Latex:
Auto
Home
Index