Theorem Multiset.pairwise_nil

Modification history