Theorem Multiset.inf_union

Modification history