Theorem Multiset.pmap_eq_map_attach

Modification history