Theorem Multiset.pairwise_zero

Modification history