Theorem Multiset.replicate_inter

Modification history