Theorem Multiset.repeat_succ

Modification history