Theorem Multiset.replicate_succ

Modification history