Theorem Multiset.zero_inter

Modification history