Theorem Multiset.replicate_left_injective

Modification history