Theorem Multiset.map_univ

Modification history