Theorem Multiset.count_cons_self

Modification history