Theorem Multiset.map_mk_eq_map_mk_of_rel

Modification history