Theorem Multiset.fold_distrib

Modification history