Theorem Multiset.fold_union_inter

Modification history