Theorem Multiset.lt_repeat_succ

Modification history