Theorem Multiset.inter_repeat

Modification history