Theorem Multiset.replicate_zero

Modification history