Theorem Multiset.snd_prod

Modification history