Theorem Multiset.map_replicate

Modification history