Theorem Multiset.repeat_injective

Modification history