Theorem Multiset.count_zero

Modification history