Theorem Multiset.repeat_zero

Modification history