Theorem Multiset.replicate_right_injective

Modification history