Theorem Multiset.periodic_prod

Modification history